scientific article; zbMATH DE number 4043228

zbMATH Open0639.68022MaRDI QIDQ3780422FDOQ3780422

Authors: Gilles Bernot 

Publication date: 1987

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

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

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)

Cited In (1)

• Title not available (Why is that?)

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)