Publication:4190110
From MaRDI portal
zbMath0404.68026MaRDI QIDQ4190110
Manfred Broy, Martin Wirsing, Peter Pepper, Walter Dosch, Helmut Partsch
Publication date: 1979
68P05: Data structures
Related Items
Algebraic and operational semantics of specifications allowing exceptions and errors, Compatibility of parameter passing and implementation of parameterized data types, Semantics of algorithmic languages, A constructive method for abstract algebraic software specification, A systematic study of models of abstract data types, Structured algebraic specifications: A kernel language, A second order theory of data types, Algebraic specifications of computable and semicomputable data types, Floyd's principle, correctness theories and program equivalence, Unnamed Item