Correctness of the compiling process based on axiomatic semantics
From MaRDI portal
Publication:1138902
DOI10.1007/BF00289061zbMath0432.68010MaRDI QIDQ1138902
Publication date: 1980
Published in: Acta Informatica (Search for Journal in Brave)
correctnessprogram transformationsaxiomatic semanticsblock structured programming languageverification rules
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An axiomatic definition of the programming language Pascal
- The denotational semantics of programming languages
- Proof Theory of Partial Correctness Verification Systems
- Program Improvement by Source-to-Source Transformation
- Implementation Correctness Involving a Language with <scp>goto</scp> Statements
- An axiomatic basis for computer programming