Compilation as refinement

MaRDI QIDQ4370262zbMATH OpenFDO

Authors Karl Lermer, Colin Fidge

Publication date 1 April 1998

zbMATH Keywords

program refinement

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Procedure compilation in the refinement calculus
• Refinement of Higher-Order Logic Programs
• A calculus of refinements for program derivations
• scientific article; zbMATH DE number 2090154
• scientific article; zbMATH DE number 177527

Cited in

(7)

• A formal model of real-time program compilation
• Refinement calculus: A basis for translation validation, debugging and certification
• Procedure compilation in the refinement calculus
• scientific article; zbMATH DE number 177527 (Why is no real title available?)
• scientific article; zbMATH DE number 578229 (Why is no real title available?)
• scientific article; zbMATH DE number 2036332 (Why is no real title available?)
• scientific article; zbMATH DE number 2090154 (Why is no real title available?)

This page was built for publication: Compilation as refinement

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