Data types with errors and exceptions

DOI10.1016/0304-3975(92)90303-WzbMath0768.68095OpenAlexW2024995865MaRDI QIDQ1196304

Ming-hua Zhang

Publication date: 16 December 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90303-w

zbMATH Keywords

errorsexceptionsspecification method for data types based on second-order logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic and operational semantics of specifications allowing exceptions and errors
• A constructive method for abstract algebraic software specification
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• A second order theory of data types
• An operational semantics for specifications of abstract data types with error handling
• Partial abstract types
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Algorithmic specifications: a constructive specification method for abstract data types
• Data type specification
• Heterogeneous algebras

This page was built for publication: Data types with errors and exceptions