On the Expressive Power of Primitives for Compensation Handling
Abstract elided by the publisher.
Related papers
- Theoretical foundations for compensations in flow composition languages POPL 2005
- ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions ECOOP 2018
- Exceptional situations and program reliability TOPLAS 2008
- Verifying Compensating Transactions VMCAI 2007
- Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling CC 2001
- An efficient class and object encoding OOPSLA 2000
- Avoidance and Suppression of Compensation Code in a Trace Scheduling Compiler TOPLAS 1994
- The expressive power of higher-order types or, life without CONS JFP 2001