Abstract data types and the development of data structures

DOI10.1145/359605.359618zbMath0356.68022OpenAlexW2148620491WikidataQ56576226 ScholiaQ56576226MaRDI QIDQ4127984

J. V. Guttag

Publication date: 1977

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359605.359618

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (20)

Normalization by leftmost innermost rewriting ⋮ Object-oriented programming in control system design: A survey ⋮ Routines: An argument against the conventional approach to functions and procedures ⋮ A second order theory of data types ⋮ The formal specification of abstract data types and their implementation in Fortran 90 ⋮ Modular algebraic specification of some basic geometrical constructions ⋮ An approach for data type specification and its use in program verification ⋮ On the Cognitive and Theoretical Foundations of Big Data Science and Engineering ⋮ Axiomatic data type specifications: A first order theory of linear lists ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Object-oriented simulation to support research in manufacturing systems ⋮ Data types, abstract data types and their specification problem ⋮ A practical example of the specification of abstract data types ⋮ Algebraic specification of data types: A synthetic approach ⋮ Modularization of large programs ⋮ A hidden agenda ⋮ Methodical specification of abstract data types via rewriting systems ⋮ A view of computability on term algebras

This page was built for publication: Abstract data types and the development of data structures