Skip to main content
SpringerLink
Log in
Birkhäuser
Book cover

Algol-like Languages

  • Book
  • © 1997

Overview

Editors:
  1. Peter W. O’Hearn

    1. Dept. of Computer Science, Queen Mary&Westfield College, London, England

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert D. Tennent

    1. Dept. of Computing and Information Science, Queen’s University, Kingston, Ontario, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Progress in Theoretical Computer Science (PTCS)

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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 (11 chapters)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Introduction

    1. Introduction

      • Peter W. O’Hearn, Robert D. Tennent
      Pages 1-15

  3. Historical Background

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. Revised Report on the Algorithmic Language Algol 60

      • Peter Naur, J. W. Backus, F. L. Bauer, J. Green, C. Kafz, J. McCarthy et al.
      Pages 19-49

    3. The Varieties of Programming Language

      • Christopher Strachey
      Pages 51-64

  4. Basic Principles

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. The Essence of Algol

      • John C. Reynolds
      Pages 67-88

    3. Algol and Functional Programming

      • Peter W. O’Hearn
      Pages 89-99

    4. On the Orthogonality of Assignments and Procedures in Algol

      • Matthias Felleisen, Stephen Weeks
      Pages 101-124

    5. Idealized Algol and its Specification Logic

      • John C. Reynolds
      Pages 125-156

    6. Towards Fully Abstract Semantics for Local Variables: Preliminary Report

      • Albert R. Meyer, Kurt Sieber
      Pages 157-169

  5. Language Design

    1. Front Matter

      Pages 171-171
      Download chapter PDF

    2. Design of the Programming Language Forsythe

      • John C. Reynolds
      Pages 173-233

    3. Assignments for Applicative Languages

      • Vipin Swarup, Uday S. Reddy, Evan Ireland
      Pages 235-271

    4. Syntactic Control of Interference

      • John C. Reynolds
      Pages 273-286

  6. Back Matter

    Pages 287-287
    Download chapter PDF
Back to top

Keywords

About this book

In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in a general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add imperative mechanisms to functional languages in a way that does not compromise their desirable properties. Unfortunately, many of the key works in this field have been rather hard to obtain. The primary purpose of this collection is to make the most significant material on ALGoL-like languages conveniently available to graduate students and researchers. Contents Introduction to Volume 1 1 Part I Historical Background 1 Part n Basic Principles 3 Part III Language Design 5 Introduction to Volume 2 6 Part IV Functor-Category Semantics 7 Part V Specification Logic 7 Part VI Procedures and Local Variables 8 Part vn Interference, Irreversibility and Concurrency 9 Acknowledgements 11 Bibliography 11 Introduction to Volume 1 This volume contains historical and foundational material, and works on lan­ guage design. All of the material should be accessible to beginning graduate students in programming languages and theoretical Computer Science.

Editors and Affiliations

  • Dept. of Computer Science, Queen Mary&Westfield College, London, England

    Peter W. O’Hearn

  • Dept. of Computing and Information Science, Queen’s University, Kingston, Ontario, Canada

    Robert D. Tennent

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation