scientific article

zbMath0486.68016MaRDI QIDQ3947104

Hartmut Ehrig, Hans-Joerg Kreowski

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

implementationparameterizationalgebraic specificationabstract data type

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Structured algebraic specifications: A kernel language, Toward formal development of programs from algebraic specifications: Implementations revisited, Observational implementation of algebraic specifications, Non-deterministic data types: Models and implementations