On the semantics of refinement calculi

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
• Refinement and demonic semantics
• A theoretical basis for stepwise refinement and the programming calculus
• A refinement calculus for logic programs
• Refinement calculus. A systematic introduction

Cited in

(10)

• The least conjunctive refinement and promotion in the refinement calculus
• Fusion and simultaneous execution in the refinement calculus
• General parameterised refinement and recursion for the M-net calculus
• Soundness of data refinement for a higher-order imperative language
• Exits in the refinement calculus
• Refinement and demonic semantics
• Introducing reference semantics via refinement
• Refinement semantics and loop rules
• Refinement
• A theoretical basis for stepwise refinement and the programming calculus

This page was built for publication: On the semantics of refinement calculi

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