A specification logic for exceptions and beyond

DOI10.1007/978-3-642-15643-4_14zbMATH Open1305.68056OpenAlexW1530476176MaRDI QIDQ4931291FDOQ4931291

Cristina David, Cristian Gherghina

Publication date: 4 October 2010

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Recommendations

• scientific article; zbMATH DE number 3943002
• Towards Automatic Exception Safety Verification
• scientific article; zbMATH DE number 3872656
• Program verification for exception handling on active objects using futures
• Exception Handling: Formal Specification and Systematic Program Construction

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (11)

• Exceptions for algebraic specifications: On the meaning of ``but
• Parallel Processing and Applied Mathematics
• Program verification for exception handling on active objects using futures
• A general method of low-level exception reporting and handling using system predicate classes
• Towards Automatic Exception Safety Verification
• Exception analysis for non-strict languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A specification logic for exceptions and beyond

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