Summer School: Language Hierarchies and Interfaces 1975: Marktoberdorf, Germany

Friedrich L. Bauer, Klaus Samelson (Eds.): Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975. Lecture Notes in Computer Science 46 Springer 1976, ISBN 3-540-07994-7 BibTeX

@proceedings{DBLP:conf/ac/1975lhi,
  editor    = {Friedrich L. Bauer and
               Klaus Samelson},
  title     = {Language Hierarchies and Interfaces, International Summer School,
               Marktoberdorf, Germany, July 23 - August 2, 1975},
  booktitle = {Language Hierarchies and Interfaces},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {46},
  year      = {1976},
  isbn      = {3-540-07994-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

Edsger W. Dijkstra: On the teaching of programming, i. e. on the teaching of thinking. 1-10 BibTeX

Concurrency

C. A. R. Hoare: Parallel programming: an axiomatic approach. 11-42 BibTeX
Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens: On-the-fly garbage collection: an exercise in cooperation. 43-56 BibTeX
David Gries: An exercise in proving parallel programs correct. 57-81 BibTeX
Per Brinch Hansen: The programming language concurrent pascal. 82-110 BibTeX

Program Development

Edsger W. Dijkstra: Guarded commands, non-determinancy and a calculus for the derivation of programs. 111-124 BibTeX
M. Griffiths: Program production by successive transformation. 125-152 BibTeX
Friedrich L. Bauer: Programming as an evolutionary process. 153-182 BibTeX
C. A. R. Hoare: Proof of correctness of data representation. 183-193 BibTeX
Friedrich L. Bauer: Appendix: a philosophy of programming. 194-241 BibTeX

Operating Systems Structure

C. A. R. Hoare: The structure of an operating system. 242-265 BibTeX
Gerhard Seegmüller: Language aspects in operating systems. 266-292 BibTeX
William A. Wulf: Structured programming in the basic layers of an operating system. 293-344 BibTeX
Edsger W. Dijkstra: A time-wise hierarchy imposed upon the use of a two-level store. 345-357 BibTeX

Programming Systems Structure

Andrei P. Ershov: Problems in many-language systems. 358-428 BibTeX