scientific article; zbMATH DE number 3628362

MaRDI QIDQ4190110zbMATH OpenFDO

Authors Manfred Broy, Walter Dosch, Peter Pepper, Helmut Partsch, Martin Wirsing

Publication date 1979

zbMATH Keywords

Existential Quantifiers in Abstract Data Types

Mathematics Subject Classification ID

Data structures (68P05)

Cited in

(13)

• 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
• Computably separable models
• scientific article; zbMATH DE number 3814949 (Why is no real title available?)
• Abstract constraint data types
• Separable algorithmic representations of classical systems and their applications
• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4190110)