Exits in the refinement calculus

DOI10.1007/BF01214623zbMath0817.68040MaRDI QIDQ1805400

Carroll Morgan, Steve F. King

Publication date: 11 May 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

refinement calculusweakest preconditionsexception handling

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Constructing a program with exceptions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theoretical basis for stepwise refinement and the programming calculus
• A functional theory of exceptions
• A calculus of refinements for program derivations
• Correct and Robust Programs
• Guarded commands, nondeterminacy and formal derivation of programs
• The specification statement
• An axiomatic basis for computer programming

This page was built for publication: Exits in the refinement calculus