scientific article; zbMATH DE number 3628362
From MaRDI portal
Publication:4190110
zbMath0404.68026MaRDI QIDQ4190110
Peter Pepper, Walter Dosch, Manfred Broy, Martin Wirsing, Helmut Partsch
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Structured algebraic specifications: A kernel language, A second order theory of data types, Algebraic specifications of computable and semicomputable data types, Computably separable models, Separable algorithmic representations of classical systems and their applications, Floyd's principle, correctness theories and program equivalence, Unnamed Item, Algebraic and operational semantics of specifications allowing exceptions and errors, Compatibility of parameter passing and implementation of parameterized data types, Semantics of algorithmic languages, Abstract Constraint Data Types, A constructive method for abstract algebraic software specification, A systematic study of models of abstract data types
