Abstract data types and the development of data structures

DOI10.1145/359605.359618MaRDI QIDQ4127984zbMATH OpenOpenAlexDBLPWikidataFDO

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(21)

• A view of computability on term algebras
• A second order theory of data types
• Modular algebraic specification of some basic geometrical constructions
• An approach for data type specification and its use in program verification
• Axiomatic data type specifications: A first order theory of linear lists
• Data types, abstract data types and their specification problem
• A practical example of the specification of abstract data types
• Object-oriented programming in control system design: A survey
• The formal specification of abstract data types and their implementation in Fortran 90
• A hidden agenda
• Object-oriented simulation to support research in manufacturing systems
• Routines: An argument against the conventional approach to functions and procedures
• Algebraic specification of data types: A synthetic approach
• Modularization of large programs
• scientific article; zbMATH DE number 1522144 (Why is no real title available?)
• scientific article; zbMATH DE number 1525070 (Why is no real title available?)
• scientific article; zbMATH DE number 1555491 (Why is no real title available?)
• On the cognitive and theoretical foundations of big data science and engineering
• Methodical specification of abstract data types via rewriting systems
• Normalization by leftmost innermost rewriting
• Verifying a realistic mutable hash table. Case study (short paper)

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)