Exception Handling: Formal Specification and Systematic Program Construction

DOI10.1109/TSE.1985.232207MaRDI QIDQ5184387zbMATH OpenFDO

Authors Michel Bidoit, Brigitte Biebow, Christian Gresse, G. Guiho, Marie-Claude Gaudel

Publication date 1985

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1985.232207

zbMATH Keywords

abstract data typesalgebraic specification languagedecomposition schemeserror handlingPLUSSprogram construction method

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3872656
• scientific article; zbMATH DE number 3881862
• scientific article; zbMATH DE number 3943002
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Algebraic and operational semantics of specifications allowing exceptions and errors

Cited in

(7)

• Correct and Robust Programs
• scientific article; zbMATH DE number 3872656 (Why is no real title available?)
• A specification logic for exceptions and beyond
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
• Verification rules for exception handling in Eiffel
• Reasoning about multi-lingual exception handling using RIPLS
• Region-based resource management and lexical exception handlers in continuation-passing style

This page was built for publication: Exception Handling: Formal Specification and Systematic Program Construction

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