Pages that link to "Item:Q4127984"
From MaRDI portal
The following pages link to Abstract data types and the development of data structures (Q4127984):
Displaying 20 items.
- A view of computability on term algebras (Q1051428) (← links)
- A second order theory of data types (Q1092657) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- An approach for data type specification and its use in program verification (Q1137374) (← links)
- Axiomatic data type specifications: A first order theory of linear lists (Q1153682) (← links)
- Data types, abstract data types and their specification problem (Q1252032) (← links)
- A practical example of the specification of abstract data types (Q1259160) (← links)
- Object-oriented programming in control system design: A survey (Q1333435) (← links)
- The formal specification of abstract data types and their implementation in Fortran 90 (Q1355365) (← links)
- A hidden agenda (Q1575735) (← links)
- Object-oriented simulation to support research in manufacturing systems (Q3354862) (← links)
- Routines: An argument against the conventional approach to functions and procedures (Q3713565) (← links)
- Algebraic specification of data types: A synthetic approach (Q3907066) (← links)
- Modularization of large programs (Q3920628) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- On the Cognitive and Theoretical Foundations of Big Data Science and Engineering (Q4600212) (← links)
- Methodical specification of abstract data types via rewriting systems (Q4745236) (← links)
- Normalization by leftmost innermost rewriting (Q5881209) (← links)