scientific article; zbMATH DE number 3821094

MaRDI QIDQ3667933zbMATH OpenFDO

Authors Hartmut Ehrig, James W. Thatcher, Eric G. Wagner

Publication date 1983

zbMATH Keywords

abstract data typeshierarchy constraintsinitial algebraic approach

Mathematics Subject Classification ID

Data structures (68P05)

Cited in

(11)

• On the existence of free models in abstract algebraic institutions
• On observational equivalence and algebraic specification
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Quasi-varieties in abstract algebraic institutions
• Union and actualization of module specifications: Some compatibility results
• Specifications in an arbitrary institution
• Functorial theory of parameterized specifications in a general specification framework
• Relating CASL with other specification languages: the institution level.
• Canonical constraints for parameterized data types
• Compatibility of parameter passing and implementation of parameterized data types
• A set-theoretic semantics for Clear

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