Pages that link to "Item:Q4130984"
From MaRDI portal
The following pages link to Some ideas on data types in high-level languages (Q4130984):
Displaying 8 items.
- Zur Verbesserung der Lokalität im Zugriff auf Felder (Q598804) (← links)
- A taxonomy of binary tree traversals (Q1085614) (← links)
- Abstract for-loops over several aggregates (Q1151258) (← links)
- On a new approach to representation independent data classes (Q1234589) (← links)
- A new data structure - the grid (Q1238413) (← links)
- A theory of type polymorphism in programming (Q1250704) (← links)
- Symbolic verification method for definite iteration over data structures (Q1285767) (← links)
- Verification of a finite iteration over data structures (Q1974308) (← links)
