Abstract data types and the development of data structures
From MaRDI portal
Publication:4127984
DOI10.1145/359605.359618zbMATH Open0356.68022DBLPjournals/cacm/Guttag77OpenAlexW2148620491WikidataQ56576226 ScholiaQ56576226MaRDI QIDQ4127984FDOQ4127984
Authors: John 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
Cited In (20)
- Normalization by leftmost innermost rewriting
- A second order theory of data types
- Modular algebraic specification of some basic geometrical constructions
- On the cognitive and theoretical foundations of big data science and engineering
- An approach for data type specification and its use in program verification
- The formal specification of abstract data types and their implementation in Fortran 90
- Axiomatic data type specifications: A first order theory of linear lists
- Routines: An argument against the conventional approach to functions and procedures
- Object-oriented simulation to support research in manufacturing systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modularization of large programs
- A hidden agenda
- Title not available (Why is that?)
- Object-oriented programming in control system design: A survey
- Algebraic specification of data types: A synthetic approach
- Data types, abstract data types and their specification problem
- Methodical specification of abstract data types via rewriting systems
- A practical example of the specification of abstract data types
- A view of computability on term algebras
This page was built for publication: Abstract data types and the development of data structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4127984)
