Constructing a program with exceptions

DOI10.1016/0020-0190(94)00197-7zbMath0875.68200OpenAlexW1536478461MaRDI QIDQ674271

K. Rustan M. Leino

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)00197-7

zbMATH Keywords

Formal semanticsProgram derivationProgramming calculiExceptions

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Cites Work

• Exits in the refinement calculus
• Correct and Robust Programs
• Programming as a Discipline of Mathematical Nature
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructing a program with exceptions