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)

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

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)