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

Michel Bidoit. Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations. In Jan Paredaens, editor, Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings. Volume 172 of Lecture Notes in Computer Science, pages 95-108, Springer, 1984.

Abstract

Abstract is missing.