scientific article; zbMATH DE number 3936492

MaRDI QIDQ3707380zbMATH OpenFDO

Authors Martin Gogolla

Publication date 1985

zbMATH Keywords

abstract data typesalgebraic specificationserror propagationerror recoveryerrorsexception handlingexceptionsfinal algebrasinitial algebrassemantics

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Algebraic and operational semantics of specifications allowing exceptions and errors
• scientific article; zbMATH DE number 3881862
• scientific article; zbMATH DE number 3943002
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Label algebras and exception handling

Cited in

(10)

• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Data types with errors and exceptions
• Label algebras and exception handling
• Equational theories of abnormal termination based on Kleene algebra
• scientific article; zbMATH DE number 3881862 (Why is no real title available?)
• scientific article; zbMATH DE number 3943002 (Why is no real title available?)
• scientific article; zbMATH DE number 4078771 (Why is no real title available?)
• scientific article; zbMATH DE number 3894451 (Why is no real title available?)
• Exceptions for algebraic specifications: On the meaning of ``but
• Algebraic and operational semantics of specifications allowing exceptions and errors

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3707380)