𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A simple axiomatic basis for programming language constructs

✍ Scribed by Edsger W Dijkstra

Book ID
108046842
Publisher
Elsevier Science
Year
1974
Weight
893 KB
Volume
77
Category
Article
ISSN
1385-7258

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Programming language constructs for high
Programming language constructs for highly parallel operations on lists
✍ Jon A. Solworth πŸ“‚ Article πŸ“… 1988 πŸ› Springer US 🌐 English βš– 839 KB

A data structure called ~trips is described for representing linked lists, which enables unit time access of random list elements. Running parallel prefix on strips effectively converts a list into an array. When combined with nondeterministic statement sequencing and data operations, loops for perf