A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
An axiomatic treatment of exception handling in an expression-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards fully abstract semantics for local variables
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
An axiomatic treatment of exception handling
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
| Hi-index | 0.00 |