Exception handling and term labelling

DOI10.1007/3-540-56610-4_80MaRDI QIDQ5044752zbMATH OpenOpenAlexFDO

Authors Gilles Bernot, Pascale Le Gall

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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)

• scientific article; zbMATH DE number 3905842 (Why is no real title available?)
• Exception handling—A static approach
• Label algebras and exception handling

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)