107 search results - page 22 / 22 » Correctness of linear logic proof structures is NL-complete |
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...