Publication:3906461
From MaRDI portal
zbMath0456.68101MaRDI QIDQ3906461
Hartmut Ehrig, Eric G. Wagner, Jesse B. Wright, James W. Thatcher, Hans-Joerg Kreowski
Publication date: 1980
Related Items
The meaning of specifications I: Domains and initial models, Compatibility of parameter passing and implementation of parameterized data types, Implementation of data types by algebraic methods, A constructive method for abstract algebraic software specification, Algebraic domain equations, Parameter passing in algebraic specification languages, Structured algebraic specifications: A kernel language, Toward formal development of programs from algebraic specifications: Implementations revisited, A characterization of passing compatibility for parameterized specifications, Specifications in an arbitrary institution, Algebraic implementation of abstract data types, Partial abstract types, Functorial theory of parameterized specifications in a general specification framework, Unnamed Item