scientific article; zbMATH DE number 3628362

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.

zbMATH Keywords

Existential Quantifiers in Abstract Data Types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (13)

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

This page was built for publication: