Language Hierarchies and Interfaces: International Summer School

E. W. Dijkstra (auth.), Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Prof. Dr. Klaus Samelson (eds.)3540079947, 9783540079941

Table of contents :
On the teaching of programming, i.e. on the teaching of thinking….Pages 1-10
Parallel programming: An axiomatic approach….Pages 11-42
On-the-fly darbage collection: an exercise in cooeration….Pages 43-56
An exercise in proving parallel programs correct….Pages 57-81
The programming language concurrent pascal….Pages 82-110
Guarded commands, non-determinacy and a calculus for the derivation of programs….Pages 111-124
Program production by successive transformation….Pages 125-152
Programming as an evolutionary process….Pages 153-182
Proof of correctness of data representations….Pages 183-193
A philosophy of programming….Pages 194-241
The structure of an operating system….Pages 242-265
Language aspects in operating systems….Pages 266-292
Structured programming in the basic layers of an operating system….Pages 293-344
A time-wise hierarchy imposed upon the use of a two-level store….Pages 345-357
Problems in many-language systems….Pages 358-428