Ada exception handling: an axiomatic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exception handling: issues and a proposed notation
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
An Aximatic Treatment of Algol 68 Routines
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
An axiomatic semantic definition of algol 68.
An axiomatic semantic definition of algol 68.
Program structures for exceptional condition handling.
Program structures for exceptional condition handling.
The replacement model for modular verifiable exception handling
The replacement model for modular verifiable exception handling
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
| Hi-index | 0.00 |