![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Summer School: Language Hierarchies and Interfaces 1975: Marktoberdorf, Germany
- Friedrich L. Bauer, Klaus Samelson:
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
Introduction
- Edsger W. Dijkstra:
On the teaching of programming, i. e. on the teaching of thinking. 1-10
Concurrency
- C. A. R. Hoare:
Parallel programming: an axiomatic approach. 11-42 - 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 - David Gries
:
An exercise in proving parallel programs correct. 57-81 - Per Brinch Hansen:
The programming language concurrent pascal. 82-110
Program Development
- Edsger W. Dijkstra:
Guarded commands, non-determinancy and a calculus for the derivation of programs. 111-124 - M. Griffiths:
Program production by successive transformation. 125-152 - Friedrich L. Bauer:
Programming as an evolutionary process. 153-182 - C. A. R. Hoare:
Proof of correctness of data representation. 183-193 - Friedrich L. Bauer:
Appendix: a philosophy of programming. 194-241
Operating Systems Structure
- C. A. R. Hoare:
The structure of an operating system. 242-265 - Gerhard Seegmüller:
Language aspects in operating systems. 266-292 - William A. Wulf:
Structured programming in the basic layers of an operating system. 293-344 - Edsger W. Dijkstra:
A time-wise hierarchy imposed upon the use of a two-level store. 345-357
Programming Systems Structure
- Andrei P. Ershov:
Problems in many-language systems. 358-428
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.