Program verification for exception handling on active objects using futures

DOI10.1007/978-3-319-92970-5_5MaRDI QIDQ6039383zbMATH OpenOpenAlexFDO

Authors

Publication date 5 May 2023

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10852/71547

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositional reasoning about active objects with shared futures
• Towards Automatic Exception Safety Verification
• As-if-serial exception handling semantics for Java futures
• A specification logic for exceptions and beyond
• A Hoare-like verification system for a language with an exception handling mechanism

Cited in

(3)

• As-if-serial exception handling semantics for Java futures
• scientific article; zbMATH DE number 2090648 (Why is no real title available?)
• A specification logic for exceptions and beyond

This page was built for publication: Program verification for exception handling on active objects using futures

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