Supporting contexts in program refinement

DOI10.1016/S0167-6423(97)00002-6zbMATH Open0881.68012MaRDI QIDQ1370155FDOQ1370155

Authors: Ray Nickson, Ian Hayes 

Publication date: 26 October 1997

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

Recommendations

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

zbMATH Keywords

program window inference

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (4)

• Calculating modules in contextual logic program refinement
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer-aided development of a real-time program

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)