A systematic study of models of abstract data types

DOI10.1016/0304-3975(84)90086-0zbMath0552.68010OpenAlexW2042828015WikidataQ111465597 ScholiaQ111465597MaRDI QIDQ801667

Martin Wirsing, C. Pair, Manfred Broy

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90086-0

zbMATH Keywords

abstract data typeTotal and partial heterogeneous algebras

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (9)

My ADT Shrine ⋮ Equational specification of partial higher-order algebras ⋮ Unnamed Item ⋮ Observational implementations ⋮ Observational implementation of algebraic specifications ⋮ Partial abstract types ⋮ Context induction: A proof principle for behavioural abstractions and algebraic implementations ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• On hierarchies of abstract data types
• Final algebra semantics and data type extensions
• First-order identities as a defining language
• Programming in a wide spectrum language: A collection of examples
• Partial abstract types
• Abstract data types and algebraic semantics of programming languages
• Parallel realization of systems, using factorizations and quotients in categories
• The algebraic specification of abstract data types
• Fully abstract models of typed \(\lambda\)-calculi
• Abstraction mechanisms in CLU
• On sentences which are true of direct unions of algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A systematic study of models of abstract data types