Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations.

Michel Bidoit

Browse the full ICALP paper archive.