scientific article
From MaRDI portal
Publication:3667933
zbMath0518.68019MaRDI QIDQ3667933
Hartmut Ehrig, James W. Thatcher, Eric G. Wagner
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (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 ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Specifications in an arbitrary institution ⋮ Canonical constraints for parameterized data types ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ A set-theoretic semantics for Clear ⋮ Relating CASL with other specification languages: the institution level.
This page was built for publication:
