Failboxes: Provably Safe Exception Handling
No abstract available.
DOI 10.1007/978-3-642-03013-0_22
Related papers
- Accepting blame for safe tunneled exceptions PLDI 2016
- Abstraction-safe effect handlers via tunneling POPL 2019
- Handling bidirectional control flow OOPSLA 2020
- Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management TOPLAS 2020
- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management ESOP 2018
- Algebraic Semantics of Exception Handling ESOP 1986
- An Exception Handling Construct for Functional Languages ESOP 1988
- An Object-Oriented Exception Handling System for an Object-Oriented Language ECOOP 1988