scientific article; zbMATH DE number 3880083

zbMATH Open0552.68015MaRDI QIDQ3345753FDOQ3345753

Authors: Donald Sannella, Andrzej Tarlecki 

Publication date: 1984

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

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

zbMATH Keywords

first-order logicalgebraic specificationsspecification languageinstitutionfree variables

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)