Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors

DOI10.1016/0304-3975(86)90019-8zbMath0603.68015OpenAlexW2066995661MaRDI QIDQ1082804

Christine Choppy, Gilles Bernot, Michel Bidoit

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1016/0304-3975(86)90019-8

zbMATH Keywords

algebraic specificationsimplementationerror handlingexception algebrasexception recoveryinitial models

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Exception handling and term labelling ⋮ Correctness proofs for abstract implementations ⋮ Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Data types with errors and exceptions ⋮ Equational type logic ⋮ Unnamed Item

Cites Work

• Algebraic and operational semantics of specifications allowing exceptions and errors
• Algebraic implementation of abstract data types
• Computability and decidability. An introduction for students of computer science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item