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

(20)

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

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)