scientific article
From MaRDI portal
Publication:3923580
zbMath0469.68026MaRDI QIDQ3923580
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
On the existence of free models in abstract algebraic institutions ⋮ Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Structured theories and institutions ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ On the correctness of modular systems ⋮ Equational partiality ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ Semantics of algorithmic languages ⋮ A set-theoretic semantics for Clear ⋮ Parameter passing in algebraic specification languages ⋮ Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
This page was built for publication:
