Data types with errors and exceptions
From MaRDI portal
Recommendations
- Algebraic and operational semantics of specifications allowing exceptions and errors
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
- scientific article; zbMATH DE number 3936492
- scientific article; zbMATH DE number 3881862
- A second order theory of data types
Cites work
- scientific article; zbMATH DE number 3881862 (Why is no real title available?)
- scientific article; zbMATH DE number 3581594 (Why is no real title available?)
- scientific article; zbMATH DE number 3999882 (Why is no real title available?)
- scientific article; zbMATH DE number 3387290 (Why is no real title available?)
- A constructive method for abstract algebraic software specification
- A second order theory of data types
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
- Algebraic and operational semantics of specifications allowing exceptions and errors
- Algorithmic specifications: a constructive specification method for abstract data types
- An operational semantics for specifications of abstract data types with error handling
- Data type specification, parameterization and the power of specification techniques
- Heterogeneous algebras
- Partial abstract types
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
This page was built for publication: Data types with errors and exceptions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1196304)
