Computer assistance for random refinement

DOI10.1007/BFB0023745MaRDI QIDQ4037396zbMATH OpenFDO

Authors D. A. Carrington, K. A. Robinson

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0023745

zbMATH Keywords

program derivationprogram refinementprogram specificationprogram transformation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177257
• Compilation as refinement
• A program refinement tool
• scientific article; zbMATH DE number 3951983
• The refinement calculator: Proof support for program refinement

Cited in

(9)

• A program refinement tool
• Computer-aided serendipity
• Refinement calculus: A basis for translation validation, debugging and certification
• scientific article; zbMATH DE number 3951983 (Why is no real title available?)
• scientific article; zbMATH DE number 177257 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• Compilation as refinement
• scientific article; zbMATH DE number 4115923 (Why is no real title available?)
• scientific article; zbMATH DE number 1390335 (Why is no real title available?)

This page was built for publication: Computer assistance for random refinement

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