Implementation Correctness Involving a Language with goto Statements
- 1 September 1977
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 6 (3) , 403-415
- https://doi.org/10.1137/0206028
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Data types as latticesPublished by Springer Nature ,2006
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Proving correctness of implementation techniquesPublished by Springer Nature ,1971
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- Correctness of a compiler for arithmetic expressionsProceedings of Symposia in Applied Mathematics, 1967