[go: up one dir, main page]
Skip to main content
Springer Nature Link
Account

Language Hierarchies and Interfaces

International Summer School

  • Conference proceedings
  • © 1976

Overview

Editors:
  1. Friedrich L. Bauer
  2. E. W. Dijkstra
  3. A. Ershov
  4. M. Griffiths
  5. C. A. R. Hoare
  6. W. A. Wulf
  7. Klaus Samelson

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

  • 2346 Accesses

  • 11 Citations

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 EUR 52.74
Price includes VAT (France)
  • 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

Explore related subjects

Discover the latest articles, books and news in related subjects.

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

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

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

Keywords

Publish with us

Policies and ethics

Back to top