scientific article
From MaRDI portal
Publication:3906461
zbMath0456.68101MaRDI QIDQ3906461
James W. Thatcher, Jesse B. Wright, Hartmut Ehrig, Hans-Joerg Kreowski, Eric G. Wagner
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
Structured algebraic specifications: A kernel language ⋮ My ADT Shrine ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ A characterization of passing compatibility for parameterized specifications ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Specifications in an arbitrary institution ⋮ Algebraic implementation of abstract data types ⋮ Partial abstract types ⋮ The meaning of specifications I: Domains and initial models ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ Unnamed Item ⋮ Implementation of data types by algebraic methods ⋮ Algebraic domain equations ⋮ Parameter passing in algebraic specification languages ⋮ A constructive method for abstract algebraic software specification
This page was built for publication:
