An Overview of Anna, a Specification Language for Ada
- 1 March 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 2 (2) , 9-22
- https://doi.org/10.1109/ms.1985.230345
Abstract
The Anna approach to specification language design strengthens the existing explanatory constructs in Ada and adds new ones where there is an obvious need.Keywords
This publication has 10 references indexed in Scilit:
- Consistency checking in Ada and AnnaACM SIGAda Ada Letters, 1983
- A practical method of documenting and verifying Ada programs with packagesACM SIGPLAN Notices, 1980
- 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
- Stanford Pascal Verifier User ManualPublished by Defense Technical Information Center (DTIC) ,1979
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- MonitorsCommunications of the ACM, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Proof of correctness of data representationsActa Informatica, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969