Extensions and implementations of abstract data type specifications

DOI10.1007/3-540-08921-7_64zbMath0382.68028OpenAlexW1561186843MaRDI QIDQ4160388

Hans-Dieter Ehrich

Publication date: 1978

Published in: Mathematical Foundations of Computer Science 1978 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-08921-7_64

Mathematics Subject Classification ID

Data structures (68P05) Special categories (18B99) General topics in the theory of software (68N01)

Related Items (6)

Complexity of algebraic implementations for abstract data types ⋮ Specifications, models, and implementations of data abstractions ⋮ Algebraic implementation of abstract data types ⋮ Semantics of algorithmic languages ⋮ Implementation of data types by algebraic methods ⋮ A constructive method for abstract algebraic software specification

This page was built for publication: Extensions and implementations of abstract data type specifications