On hierarchies of abstract data types
From MaRDI portal
Publication:1050767
DOI10.1007/BF00264293zbMath0513.68015MaRDI QIDQ1050767
Manfred Broy, Martin Wirsing, Peter Pepper, Walter Dosch, Helmut Partsch
Publication date: 1983
Published in: Acta Informatica (Search for Journal in Brave)
68P05: Data structures
Related Items
A systematic study of models of abstract data types, Observational implementation of algebraic specifications, 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, Partial abstract types, Algebraic and functional specification of an interactive serializable database interface, The behavior-realization adjunction and generalized homomorphic relations, Unnamed Item, Implementing Services by Partial State Machines