Skip to main content
SpringerLink
Log in

Language Hierarchies and Interfaces

International Summer School

  • Conference proceedings
  • © 1976

Overview

Editors:
  1. Friedrich L. Bauer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. E. W. Dijkstra
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. A. Ershov
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. M. Griffiths
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. C. A. R. Hoare
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. W. A. Wulf
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Klaus Samelson
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 46)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. On the teaching of programming, i.e. on the teaching of thinking

    • E. W. Dijkstra
    Pages 1-10

  3. Parallel programming: An axiomatic approach

    • C. A. R. Hoare
    Pages 11-42

  4. On-the-fly darbage collection: an exercise in cooeration

    • Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, E. F. M. Steffens
    Pages 43-56

  5. An exercise in proving parallel programs correct

    • D. Gries
    Pages 57-81

  6. The programming language concurrent pascal

    • Per Brinch Hansen
    Pages 82-110

  7. Guarded commands, non-determinacy and a calculus for the derivation of programs

    • Edsger W. Dijkstra
    Pages 111-124

  8. Program production by successive transformation

    • M. Griffiths
    Pages 125-152

  9. Programming as an evolutionary process

    • F. L. Bauer
    Pages 153-182

  10. Proof of correctness of data representations

    • C. A. R. Hoare
    Pages 183-193

  11. A philosophy of programming

    • F. L. Bauer
    Pages 194-241

  12. The structure of an operating system

    • C. A. R. Hoare
    Pages 242-265

  13. Language aspects in operating systems

    • G. Seegmüller
    Pages 266-292

  14. Structured programming in the basic layers of an operating system

    • W. A. Wulf
    Pages 293-344

  15. A time-wise hierarchy imposed upon the use of a two-level store

    • Edsger W. Dijkstra
    Pages 345-357

  16. Problems in many-language systems

    • A. P. Ershov
    Pages 358-428
Back to top

Keywords

Bibliographic Information

  • Book Title: Language Hierarchies and Interfaces

  • Book Subtitle: International Summer School

  • Editors: Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Klaus Samelson

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-07994-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1976

  • Softcover ISBN: 978-3-540-07994-1Published: 01 December 1976

  • eBook ISBN: 978-3-540-37972-0Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 432

  • Topics: Theory of Computation, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation