Supporting contexts in program refinement

DOI10.1016/S0167-6423(97)00002-6MaRDI QIDQ1370155zbMATHFDO

Authors Ray Nickson, Ian Hayes

Publication date 26 October 1997

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

program window inference

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1304003
• A program refinement tool
• scientific article; zbMATH DE number 1303983
• A calculus of refinements for program derivations

Cited in

(4)

• Computer-aided development of a real-time program
• scientific article; zbMATH DE number 3881854 (Why is no real title available?)
• scientific article; zbMATH DE number 5627692 (Why is no real title available?)
• Calculating modules in contextual logic program refinement

This page was built for publication: Supporting contexts in program refinement

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