Correctness of the compiling process based on axiomatic semantics

DOI10.1007/BF00289061MaRDI QIDQ1138902zbMATH OpenFDO

Authors Bruce Russell

Publication date 1980

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

program transformationscorrectnessaxiomatic semanticsblock structured programming languageverification rules

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3471564 (Why is no real title available?)
• scientific article; zbMATH DE number 3383521 (Why is no real title available?)
• scientific article; zbMATH DE number 3410594 (Why is no real title available?)
• An axiomatic basis for computer programming
• An axiomatic definition of the programming language Pascal
• Implementation Correctness Involving a Language with <scp>goto</scp> Statements
• Program Improvement by Source-to-Source Transformation
• Proof Theory of Partial Correctness Verification Systems
• The denotational semantics of programming languages

Cited in

(2)

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

This page was built for publication: Correctness of the compiling process based on axiomatic semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1138902)