scientific article; zbMATH DE number 4153905

zbMATH Open0703.68077MaRDI QIDQ3482823FDOQ3482823

Authors: Gilles Bernot 

Publication date: 1989

Full work available at URL: https://eudml.org/doc/193027

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

zbMATH Keywords

initial algebraabstract data typeinitial modelstructured specificationssynthesis functor

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Categories of algebras (08C05) Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• Algebraic implementation of abstract data types
• Title not available (Why is that?)
• Algebraic and operational semantics of specifications allowing exceptions and errors
• Title not available (Why is that?)
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Partial abstract types
• Title not available (Why is that?)
• Report on the Larch shared language
• A systematic study of models of abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Correctness proofs for abstract implementations

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