Asynchronous Exceptions as an Effect

DOI10.1007/978-3-540-70594-9_10MaRDI QIDQ3521986zbMATHOpenAlexFDO

Authors William L. Harrison, Gerard Allwein, Andy Gill, Adam Procter

Publication date 28 August 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-70594-9_10

Mathematics Subject Classification ID

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

Recommendations

• What is the meaning of these constant interruptions?
• Unifying theories of interrupts
• Generic Hoare logic for order-enriched effects with exceptions
• An equational modeling of asynchronous concurrent programming
• Modeling and analysis of nested interrupt systems

Cited in

(3)

• What is the meaning of these constant interruptions?
• Asynchronous failure detectors
• scientific article; zbMATH DE number 2090648 (Why is no real title available?)

This page was built for publication: Asynchronous Exceptions as an Effect

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