Language Hierarchies and Interfaces

Keyphrases

Publications

volume 46, 1976

Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975 Language Hierarchies and Interfaces 46 (1976)

1975

Edsger W. Dijkstra
A time-wise hierarchy imposed upon the use of a two-level store. Language Hierarchies and Interfaces (1975)
Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens
On-the-fly garbage collection: an exercise in cooperation. Language Hierarchies and Interfaces (1975)
C. A. R. Hoare
The structure of an operating system. Language Hierarchies and Interfaces (1975)
Friedrich L. Bauer
Appendix: a philosophy of programming. Language Hierarchies and Interfaces (1975)
David Gries
An exercise in proving parallel programs correct. Language Hierarchies and Interfaces (1975)
William A. Wulf
Structured programming in the basic layers of an operating system. Language Hierarchies and Interfaces (1975)
Friedrich L. Bauer
Programming as an evolutionary process. Language Hierarchies and Interfaces (1975)
Per Brinch Hansen
The programming language concurrent pascal. Language Hierarchies and Interfaces (1975)
Gerhard Seegmüller
Language aspects in operating systems. Language Hierarchies and Interfaces (1975)
Edsger W. Dijkstra
Guarded commands, non-determinancy and a calculus for the derivation of programs. Language Hierarchies and Interfaces (1975)
C. A. R. Hoare
Parallel programming: an axiomatic approach. Language Hierarchies and Interfaces (1975)
M. Griffiths
Program production by successive transformation. Language Hierarchies and Interfaces (1975)
C. A. R. Hoare
Proof of correctness of data representation. Language Hierarchies and Interfaces (1975)
Edsger W. Dijkstra
On the teaching of programming, i. e. on the teaching of thinking. Language Hierarchies and Interfaces (1975)
Andrei P. Ershov
Problems in many-language systems. Language Hierarchies and Interfaces (1975)