scientific article
From MaRDI portal
Publication:3031906
zbMath0689.68013MaRDI QIDQ3031906
No author found.
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
varietiessoftware developmentequational specificationsinitial algebra semanticsalgebraic programming languagesabstract data tapesmodule specifications
Related Items (9)
Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ A general framework for modular implementations of modular system specifications ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Compatibility problems in the development of algebraic module specifications ⋮ Generalized Theoroidal Institution Comorphisms ⋮ Relations as abstract datatypes: An institution to specify relations between algebras ⋮ Algebraic methods in the compositional analysis of logic programs ⋮ Institutions for logic programming ⋮ On the correctness of modular systems
This page was built for publication:
