Abstraction and Verification in Alphard: Introduction to Language and Methodology
- 1 January 1976
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Abstract data types and the development of data structuresPublished by Association for Computing Machinery (ACM) ,1976
- An interactive program verification systemIEEE Transactions on Software Engineering, 1975
- A methodology for verifying programsPublished by Association for Computing Machinery (ACM) ,1975
- ACM forumCommunications of the ACM, 1974
- Capability-based addressingCommunications of the ACM, 1974
- Critical comments on the programming language PascalActa Informatica, 1973
- Chief programmer team management of production programmingIBM Systems Journal, 1972
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967