scientific article; zbMATH DE number 1512629

MaRDI QIDQ4508314zbMATH OpenFDO

Authors Hongseok Yang, Uday S. Reddy

Publication date 3 October 2000

zbMATH Keywords

imperative programsrefinement calculi

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A calculus of refinements for program derivations
• scientific article; zbMATH DE number 1086636
• A theoretical basis for stepwise refinement and the programming calculus
• A refinement calculus for logic programs
• Refinement Calculus

Cited in

(8)

• scientific article; zbMATH DE number 1487498 (Why is no real title available?)
• scientific article; zbMATH DE number 1949638 (Why is no real title available?)
• Soundness of data refinement for a higher-order imperative language
• Exits in the refinement calculus
• The least conjunctive refinement and promotion in the refinement calculus
• A theoretical basis for stepwise refinement and the programming calculus
• Refinement
• General parameterised refinement and recursion for the M-net calculus

This page was built for publication:

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