Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > Summer School

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ac/1975lhi
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/1975lhi
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

- view
  authority control:
- export record
  dblp key:
  - conf/ac/Dijkstra75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Dijkstra75
Edsger W. Dijkstra:
On the teaching of programming, i. e. on the teaching of thinking. 1-10

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/ac/Hoare75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Hoare75
C. A. R. Hoare:
Parallel programming: an axiomatic approach. 11-42
- view
  authority control:
- export record
  dblp key:
  - conf/ac/DijkstraLMSS75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/DijkstraLMSS75
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
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Gries75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Gries75
David Gries:
An exercise in proving parallel programs correct. 57-81
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Hansen75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Hansen75
Per Brinch Hansen:
The programming language concurrent pascal. 82-110

Program Development

- view
  authority control:
- export record
  dblp key:
  - conf/ac/Dijkstra75a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Dijkstra75a
Edsger W. Dijkstra:
Guarded commands, non-determinancy and a calculus for the derivation of programs. 111-124
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Griffiths75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Griffiths75
M. Griffiths:
Program production by successive transformation. 125-152
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Bauer75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Bauer75
Friedrich L. Bauer:
Programming as an evolutionary process. 153-182
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Hoare75a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Hoare75a
C. A. R. Hoare:
Proof of correctness of data representation. 183-193
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Bauer75a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Bauer75a
Friedrich L. Bauer:
Appendix: a philosophy of programming. 194-241

Operating Systems Structure

- view
  authority control:
- export record
  dblp key:
  - conf/ac/Hoare75b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Hoare75b
C. A. R. Hoare:
The structure of an operating system. 242-265
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Seegmuller75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Seegmuller75
Gerhard Seegmüller:
Language aspects in operating systems. 266-292
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Wulf75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Wulf75
William A. Wulf:
Structured programming in the basic layers of an operating system. 293-344
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Dijkstra75b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Dijkstra75b
Edsger W. Dijkstra:
A time-wise hierarchy imposed upon the use of a two-level store. 345-357

Programming Systems Structure

- view
  authority control:
- export record
  dblp key:
  - conf/ac/Ershov75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Ershov75
Andrei P. Ershov:
Problems in many-language systems. 358-428

a service of

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.