Asynchronous Exceptions as an Effect

DOI10.1007/978-3-540-70594-9_10zbMATH Open1156.68349OpenAlexW1538718799MaRDI QIDQ3521986FDOQ3521986

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)

• Title not available (Why is no real title available?)
• What is the meaning of these constant interruptions?
• Asynchronous failure detectors

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)