On hierarchies of abstract data types

• 1 October 1983
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 20  (1)
• https://doi.org/10.1007/bf00264293

Abstract

Keywords

• ABSTRACT DATA TYPES
• ALGEBRAIC SPECIFICATIONS
• HIERARCHICAL ABSTRACT DATA
• AXIOMS
• MODEL THEORETIC
• FLEXIBILITY
• SOUNDNESS