scientific article

zbMath0703.68077MaRDI QIDQ3482823

Gilles Bernot

Publication date: 1989

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

initial algebraabstract data typeinitial modelstructured specificationssynthesis functor

Mathematics Subject Classification ID

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

Related Items

Correctness proofs for abstract implementations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic and operational semantics of specifications allowing exceptions and errors
• A systematic study of models of abstract data types
• Report on the Larch shared language
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Algebraic implementation of abstract data types
• Partial abstract types

This page was built for publication: