An axiomatic basis for computer programming
Communications of the ACM
Stanford Pascal Verifier user manual
Stanford Pascal Verifier user manual
ANNA: towards a language for annotating Ada programs
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Source-to-source translation: Ada to Pascal and Pascal to Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Report on the programming language Euclid
ACM SIGPLAN Notices
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
| Hi-index | 0.02 |