scientific article; zbMATH DE number 3880083

MaRDI QIDQ3345753zbMATH OpenFDO

Authors Donald Sannella, Andrzej Tarlecki

Publication date 1984

zbMATH Keywords

first-order logicalgebraic specificationsspecification languageinstitutionfree variables

Mathematics Subject Classification ID

Data structures (68P05) Classical first-order logic (03B10)

Recommendations

• Specifications in an arbitrary institution
• scientific article; zbMATH DE number 1368950
• scientific article; zbMATH DE number 3980455
• Institutions: abstract model theory for specification and programming
• scientific article; zbMATH DE number 1617302

Cited in

(9)

• Specifications in an arbitrary institution
• On the existence of free models in abstract algebraic institutions
• On observational equivalence and algebraic specification
• Structured algebraic specifications: A kernel language
• scientific article; zbMATH DE number 671941 (Why is no real title available?)
• Quasi-varieties in abstract algebraic institutions
• Functorial theory of parameterized specifications in a general specification framework
• A general framework for modular implementations of modular system specifications
• Toward formal development of programs from algebraic specifications: Implementations revisited

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