Verification of Array, Record, and Pointer Operations in Pascal
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ada exception handling: an axiomatic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification of Abstract Data Types in Modula
ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic basis for computer programming
Communications of the ACM
ACM '76 Proceedings of the 1976 annual conference
Stanford Pascal Verifier user manual
Stanford Pascal Verifier user manual
An extended semantic definition of Pascal for proving the absence of common runtime errors
An extended semantic definition of Pascal for proving the absence of common runtime errors
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Hi-index | 0.00 |