scientific article
From MaRDI portal
Publication:3713576
zbMATH Open0587.68017MaRDI QIDQ3713576
Michel Bidoit, Gilles Bernot, Christine Choppy
Publication date: 1986
Title of this publication is not available (Why is that?)
congruencesalgebraic specificationsalgebraic semanticssufficient completenessexception handlingerror handlinginitial modelshierarchical consistencyfunctorial semantics of enrichment
Related Items (2)
Region-based resource management and lexical exception handlers in continuation-passing style ⋮ Exceptions for algebraic specifications: On the meaning of ``but
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 Q3713576)
