On hierarchies of abstract data types

DOI10.1007/BF00264293zbMath0513.68015OpenAlexW2007975299MaRDI QIDQ1050767

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

Publication date: 1983

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00264293

zbMATH Keywords

algebraic specifications of computation structures

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (16)

A calculus for conditional inductive theorem proving ⋮ Structured algebraic specifications: A kernel language ⋮ On the existence of free models in abstract algebraic institutions ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Crypt-equivalent algebraic specifications ⋮ Equational specification of partial higher-order algebras ⋮ First order data types and first order logic ⋮ The behavior-realization adjunction and generalized homomorphic relations ⋮ Typed homomorphic relations extended with subtypes ⋮ Observational implementation of algebraic specifications ⋮ Partial abstract types ⋮ Algebraic and functional specification of an interactive serializable database interface ⋮ Implementing Services by Partial State Machines ⋮ Unnamed Item ⋮ A Homage to Martin Wirsing ⋮ A systematic study of models of abstract data types

This page was built for publication: On hierarchies of abstract data types