Specification semantics

MaRDI QIDQ4702595zbMATH OpenFDO

Authors Horst Reichel

Publication date 24 November 1999

zbMATH Keywords

isomorphism classesloose semanticssemantics of monomorphic data types

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• The meaning of specifications I: Domains and initial models
• scientific article; zbMATH DE number 4113952
• Semantic constructions for the specification of objects
• Behavioural and abstractor specifications

Cited in

(11)

• Crypt-equivalent algebraic specifications
• scientific article; zbMATH DE number 1617302 (Why is no real title available?)
• scientific article; zbMATH DE number 1638642 (Why is no real title available?)
• Specification statements and refinement
• scientific article; zbMATH DE number 4078762 (Why is no real title available?)
• Specification languages
• scientific article; zbMATH DE number 4113952 (Why is no real title available?)
• Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
• From algebras and coalgebras to dialgebras
• Generalization of final algebra semantics by relativization
• The meaning of specifications I: Domains and initial models

This page was built for publication: Specification semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4702595)