Calculating properties of programs by valuations on specific models
- 1 January 1972
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 7 (1) , 203-207
- https://doi.org/10.1145/942578.807086
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference conceptCommunications of the ACM, 1970
- Report on the Algorithmic Language ALGOL 68Numerische Mathematik, 1969
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- Checking of operand types in algol compilersBIT Numerical Mathematics, 1965