scientific article; zbMATH DE number 4078771

zbMATH Open0659.68028MaRDI QIDQ3809237FDOQ3809237

Authors: Axel Poigné 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• R n - and G n -logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exception handling and term labelling
• Parametrization for order-sorted algebraic specification
• Order-sorted completion: The many-sorted way
• Equational type logic

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)