Algol-like Languages

Editors:

ISBN: 978-1-4612-8661-5 (Print) 978-1-4612-4118-8 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages i-vii

  2. Introduction

    1. No Access

      Book Chapter

      Pages 1-15

      Introduction

  3. Historical Background

    1. Front Matter

      Pages 17-17

    2. No Access

      Book Chapter

      Pages 19-49

      Revised Report on the Algorithmic Language Algol 60

    3. No Access

      Book Chapter

      Pages 51-64

      The Varieties of Programming Language

  4. Basic Principles

    1. Front Matter

      Pages 65-65

    2. No Access

      Book Chapter

      Pages 67-88

      The Essence of Algol

    3. No Access

      Book Chapter

      Pages 89-99

      Algol and Functional Programming

    4. No Access

      Book Chapter

      Pages 101-124

      On the Orthogonality of Assignments and Procedures in Algol

    5. No Access

      Book Chapter

      Pages 125-156

      Idealized Algol and its Specification Logic

    6. No Access

      Book Chapter

      Pages 157-169

      Towards Fully Abstract Semantics for Local Variables: Preliminary Report

  5. Language Design

    1. Front Matter

      Pages 171-171

    2. No Access

      Book Chapter

      Pages 173-233

      Design of the Programming Language Forsythe

    3. No Access

      Book Chapter

      Pages 235-271

      Assignments for Applicative Languages

    4. No Access

      Book Chapter

      Pages 273-286

      Syntactic Control of Interference

  6. Back Matter

    Pages 287-287