The verification and synthesis of data structures
- 1 January 1975
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 4 (2), 127-144
- https://doi.org/10.1007/bf00288745
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Proof of correctness of data representationsActa Informatica, 1972
- Toward automatic program synthesisCommunications of the ACM, 1971
- Application of Theorem Proving to Problem SolvingPublished by Defense Technical Information Center (DTIC) ,1969