Constructing a program with exceptions

DOI10.1016/0020-0190(94)00197-7zbMATH Open0875.68200OpenAlexW1536478461MaRDI QIDQ674271FDOQ674271

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

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

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)

Cites Work

• Title not available (Why is that?)
• Programming as a Discipline of Mathematical Nature
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exits in the refinement calculus
• Correct and Robust Programs

Cited In (5)

• Title not available (Why is that?)
• Exceptional syntax
• A constructive logic behind the catch and throw mechanism
• Mathematics of Program Construction
• A functional theory of exceptions

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)