A practical method of documenting and verifying Ada programs with packages
- 1 November 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 15 (11) , 113-122
- https://doi.org/10.1145/947783.948648
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Ada exception handling: an axiomatic approachACM Transactions on Programming Languages and Systems, 1980
- Verification of Array, Record, and Pointer Operations in PascalACM Transactions on Programming Languages and Systems, 1979
- Preliminary Ada reference manualACM SIGPLAN Notices, 1979
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967