Stem exept$ (all stems)
2 papers:
- ICALP-1999-RieckeT #continuation
- Typed Exeptions and Continuations Cannot Macro-Express Each Other (JGR, HT), pp. 635–644.
- CAV-1998-SawadaH #execution #precise #verification
- Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.