Exception handling and term labelling
From MaRDI portal
Publication:5044752
Recommendations
- Label algebras and exception handling
- 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 3881862
- scientific article; zbMATH DE number 3943002
Cites work
- scientific article; zbMATH DE number 4180819 (Why is no real title available?)
- scientific article; zbMATH DE number 3881862 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 4078771 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- 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
- Equational type logic
- Partial abstract types
Cited in
(3)
This page was built for publication: Exception handling and term labelling
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5044752)