A DSL for compensable and interruptible executions.

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

Browse the full OOPSLA paper archive.