Correctness of the compiling process based on axiomatic semantics

DOI10.1007/BF00289061zbMath0432.68010MaRDI QIDQ1138902

Bruce Russell

Publication date: 1980

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

correctnessprogram transformationsaxiomatic semanticsblock structured programming languageverification rules

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items

Proving program inclusion using Hoare's logic, Average case optimality for linear problems

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