scientific article; zbMATH DE number 3821094
From MaRDI portal
Publication:3667933
zbMATH Open0518.68019MaRDI QIDQ3667933FDOQ3667933
Authors: Hartmut Ehrig, James W. Thatcher, Eric G. Wagner 
Publication date: 1983
Title of this publication is not available (Why is that?)
Cited In (11)
- Union and actualization of module specifications: Some compatibility results
- Specifications in an arbitrary institution
- On the existence of free models in abstract algebraic institutions
- On observational equivalence and algebraic specification
- Canonical constraints for parameterized data types
- Compatibility of parameter passing and implementation of parameterized data types
- Quasi-varieties in abstract algebraic institutions
- Functorial theory of parameterized specifications in a general specification framework
- A set-theoretic semantics for Clear
- Relating CASL with other specification languages: the institution level.
- 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 Q3667933)
