Exception handling and term labelling
From MaRDI portal
Publication:5044752
DOI10.1007/3-540-56610-4_80zbMATH Open1497.68323OpenAlexW1589663887MaRDI QIDQ5044752FDOQ5044752
Pascale Le Gall, Gilles Bernot
Publication date: 2 November 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-56610-4_80
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Equational type logic
- 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
- Partial abstract types
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
