scientific article; zbMATH DE number 4043228

MaRDI QIDQ3780422zbMATH OpenFDO

Authors Gilles Bernot

Publication date 1987

zbMATH Keywords

initial algebraabstract data typeinitial modelabstract specificationstructured specificationssynthesis functorloose semantics

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Categories of algebras (08C05) Special properties of functors (faithful, full, etc.) (18A22) Equational categories (18C05)

Recommendations

• scientific article; zbMATH DE number 3999254
• The meaning of specifications I: Domains and initial models
• scientific article; zbMATH DE number 554481
• Applications of category theory to the area of algebraic specification in computer science
• scientific article; zbMATH DE number 49833

Cited in

(1)

• scientific article; zbMATH DE number 4172406 (Why is no real title available?)

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