scientific article; zbMATH DE number 4153905

MaRDI QIDQ3482823zbMATH OpenFDO

Authors Gilles Bernot

Publication date 1989

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

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

• scientific article; zbMATH DE number 3881862 (Why is no real title available?)
• scientific article; zbMATH DE number 3812932 (Why is no real title available?)
• scientific article; zbMATH DE number 3812933 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3938540 (Why is no real title available?)
• scientific article; zbMATH DE number 3714981 (Why is no real title available?)
• scientific article; zbMATH DE number 3716762 (Why is no real title available?)
• scientific article; zbMATH DE number 3774870 (Why is no real title available?)
• A systematic study of models of abstract data types
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Algebraic and operational semantics of specifications allowing exceptions and errors
• Algebraic implementation of abstract data types
• Partial abstract types
• Report on the Larch shared language

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)