Supporting contexts in program refinement

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

Authors Ray Nickson, Ian Hayes

Publication date 26 October 1997

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

Full work available at URL https://doi.org/10.1016/S0167-6423(97)00002-6

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

(6)

• scientific article; zbMATH DE number 3881854 (Why is no real title available?)
• scientific article; zbMATH DE number 5627692 (Why is no real title available?)
• scientific article; zbMATH DE number 1303983 (Why is no real title available?)
• scientific article; zbMATH DE number 1304003 (Why is no real title available?)
• Computer-aided development of a real-time program
• 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)