Abstract data types and the development of data structures
From MaRDI portal
Publication:4127984
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)