Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types

Michel Bidoit. Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types. In ADT. 1983.

Abstract

Abstract is missing.