Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Friedrich L. Bauer, Klaus Samelson, editors, Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975. Volume 46 of Lecture Notes in Computer Science, Springer, 1976.

Conference: ac

Abstract is missing.

On the teaching of programming, i. e. on the teaching of thinkingEdsger W. Dijkstra. 1-10

Parallel programming: an axiomatic approachC. A. R. Hoare. 11-42

On-the-fly garbage collection: an exercise in cooperationEdsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens. 43-56

An exercise in proving parallel programs correctDavid Gries. 57-81

The programming language concurrent pascalPer Brinch Hansen. 82-110

Guarded commands, non-determinancy and a calculus for the derivation of programsEdsger W. Dijkstra. 111-124

Program production by successive transformationM. Griffiths. 125-152

Programming as an evolutionary processFriedrich L. Bauer. 153-182

Proof of correctness of data representationC. A. R. Hoare. 183-193

Appendix: a philosophy of programmingFriedrich L. Bauer. 194-241

The structure of an operating systemC. A. R. Hoare. 242-265

Language aspects in operating systemsGerhard Seegmüller. 266-292

Structured programming in the basic layers of an operating systemWilliam A. Wulf. 293-344

A time-wise hierarchy imposed upon the use of a two-level storeEdsger W. Dijkstra. 345-357

Problems in many-language systemsAndrei P. Ershov. 358-428

runs on WebDSL