Constructing a program with exceptions

DOI10.1016/0020-0190(94)00197-7MaRDI QIDQ674271zbMATH OpenOpenAlexFDO

Authors 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 semanticsExceptionsProgram derivationProgramming calculi

Mathematics Subject Classification ID

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

Recommendations

• Mathematics of Program Construction
• A functional theory of exceptions
• Exceptional syntax
• An axiomatic treatment of exception handling in an expression-oriented language
• Correct and Robust Programs

Cites work

• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 41231 (Why is no real title available?)
• scientific article; zbMATH DE number 517330 (Why is no real title available?)
• Correct and Robust Programs
• Exits in the refinement calculus
• Programming as a Discipline of Mathematical Nature

Cited in

(5)

• scientific article; zbMATH DE number 5200721 (Why is no real title available?)
• Exceptional syntax
• A constructive logic behind the catch and throw mechanism
• A functional theory of exceptions
• Mathematics of Program Construction

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

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