scientific article; zbMATH DE number 4078771

MaRDI QIDQ3809237zbMATH OpenFDO

Authors Axel Poigné

Publication date 1988

zbMATH Keywords

abstract data typesalgebraic specificationserror handlingclassified algebrasOrder sorted algebras

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Partial algebras (08A55)

Recommendations

• Publication:4721636
• scientific article; zbMATH DE number 3936492
• 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

Cited in

(8)

• Equational type logic
• R n - and G n -logics
• scientific article; zbMATH DE number 3995034 (Why is no real title available?)
• scientific article; zbMATH DE number 3880079 (Why is no real title available?)
• scientific article; zbMATH DE number 3936491 (Why is no real title available?)
• Exception handling and term labelling
• Parametrization for order-sorted algebraic specification
• Order-sorted completion: The many-sorted way

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 Q3809237)