An inconsistency in procedures, parameters, and substitution in the refinement calculus

DOI10.1016/S0167-6423(97)00015-4MaRDI QIDQ1818306zbMATH OpenFDO

Authors Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

Publication date 4 January 2000

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

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

zbMATH Keywords

formal methodsprogram developmentrefinement calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Procedures, parameters, and abstraction: Separate concerns
• Calculating modules in contextual logic program refinement
• scientific article; zbMATH DE number 1303993
• Procedure compilation in the refinement calculus
• A calculus of refinements for program derivations

Cited in

(2)

• Procedures, parameters, and abstraction: Separate concerns
• Using CafeOBJ to mechanise refactoring proofs and application

This page was built for publication: An inconsistency in procedures, parameters, and substitution in the refinement calculus

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