Generic exception handling and the Java monad

DOI10.1007/978-3-540-27815-3_34MaRDI QIDQ5312999zbMATH OpenOpenAlexFDO

Authors Lutz Schröder, Till Mossakowski

Publication date 25 August 2005

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

Full work available at URL https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

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

Recommendations

• Algebra and Coalgebra in Computer Science
• A formalisation of Java's exception mechanism
• Generic Hoare logic for order-enriched effects with exceptions
• A monad for basic Java semantics
• Monad-independent Hoare logic in HasCasl

Cited in

(6)

• A formalisation of Java's exception mechanism
• A monad for basic Java semantics
• Kleene monads: handling iteration in a framework of generic effects
• A coinductive calculus for asynchronous side-effecting processes
• Generic Hoare logic for order-enriched effects with exceptions
• A generic complete dynamic logic for reasoning about purity and effects

Describes a project that uses

Uses Software

• CASL
• JML

This page was built for publication: Generic exception handling and the Java monad

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