Verification rules for exception handling in Eiffel

DOI10.1007/978-3-642-33296-8_14MaRDI QIDQ5200485zbMATH OpenOpenAlexFDO

Authors Emil Sekerinski, Tian Zhang

Publication date 6 November 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33296-8_14

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A Hoare-like verification system for a language with an exception handling mechanism
• Exception Handling: Formal Specification and Systematic Program Construction
• An axiomatic treatment of exception handling in an expression-oriented language
• Correct and Robust Programs
• scientific article; zbMATH DE number 1692946

Cited in

(2)

• A Hoare-like verification system for a language with an exception handling mechanism
• Towards Automatic Exception Safety Verification

Describes a project that uses

Uses Software

• Eiffel
• JML

This page was built for publication: Verification rules for exception handling in Eiffel

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