Refinement calculus: A basis for translation validation, debugging and certification

DOI10.1016/J.TCS.2005.11.013MaRDI QIDQ2368949zbMATH OpenOpenAlexFDO

Authors Rohit N. Kundaji, R. K. Shyamasundar

Publication date 28 April 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.11.013

zbMATH Keywords

RefinementSymbolic debuggingTranslation validation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1104377
• A program refinement tool
• scientific article; zbMATH DE number 177527
• Refinement of Higher-Order Logic Programs
• scientific article; zbMATH DE number 1104382

Cites work

• scientific article; zbMATH DE number 1696505 (Why is no real title available?)
• scientific article; zbMATH DE number 1031980 (Why is no real title available?)
• Symbolic Debugging of Optimized Code
• The existence of refinement mappings

Cited in

(1)

• A proof system for a PGAS language

Describes a project that uses

Uses Software

• STeP

This page was built for publication: Refinement calculus: A basis for translation validation, debugging and certification

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