Consistency checking in Ada and Anna
- 1 September 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGAda Ada Letters
- Vol. III (2) , 46-54
- https://doi.org/10.1145/989971.989972
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Source-to-source translationACM SIGPLAN Notices, 1980
- ANNAACM SIGPLAN Notices, 1980
- Rationale for the design of the Ada programming languageACM SIGPLAN Notices, 1979
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- An axiomatic basis for computer programmingCommunications of the ACM, 1969