Pointers and data abstractions in high level languages—I: Language proposals (Q3871892)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pointers and data abstractions in high level languages—I: Language proposals |
scientific article |
Statements
Pointers and data abstractions in high level languages—I: Language proposals (English)
0 references
1977
0 references
pointers
0 references
abstract data types
0 references
clusters
0 references
high level languages
0 references
reliable software
0 references
correctness proofs
0 references
