Rules of inference for procedure calls
- 1 January 1977
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 8 (2), 145-152
- https://doi.org/10.1007/bf00289246
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A program verification systemPublished by Association for Computing Machinery (ACM) ,1976
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969