Ebook: Language Hierarchies and Interfaces: International Summer School

---

Content:
Front Matter....Pages -
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

---

Content:
Front Matter....Pages -
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
....