ANNA

This publication has 9 references indexed in Scilit:

• Derivation of Invariant Assertions During Program Development by Transformation
  ACM Transactions on Programming Languages and Systems, 1980
• Reference Manual for the Ada Programming Language. Proposed Standard Document
  Published by Defense Technical Information Center (DTIC) ,1980
• Ada exception handling: an axiomatic approach
  ACM Transactions on Programming Languages and Systems, 1980
• A practical method of documenting and verifying Ada programs with packages
  ACM SIGPLAN Notices, 1980
• Verification of Array, Record, and Pointer Operations in Pascal
  ACM Transactions on Programming Languages and Systems, 1979
• Rationale for the design of the Ada programming language
  ACM SIGPLAN Notices, 1979
• Preliminary Ada reference manual
  ACM SIGPLAN Notices, 1979
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• An axiomatic basis for computer programming
  Communications of the ACM, 1969