Algol-like Languages

Editors:

ISBN: 978-1-4757-3853-7 (Print) 978-1-4757-3851-3 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages i-vii

  2. Functor-Category Semantics

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-12

      Functor Categories and Store Shapes

    3. No Access

      Book Chapter

      Pages 13-38

      Using Functor Categories to Generate Intermediate Code

  3. Specification Logic

    1. Front Matter

      Pages 39-39

    2. No Access

      Book Chapter

      Pages 41-64

      Semantical Analysis of Specification Logic

    3. No Access

      Book Chapter

      Pages 65-93

      Semantical Analysis of Specification Logic, 2

  4. Procedures and Local Variables

    1. Front Matter

      Pages 95-95

    2. No Access

      Book Chapter

      Pages 97-107

      Full Abstraction for the Second-Order Subset of an Algol-like Language

    3. No Access

      Book Chapter

      Pages 109-163

      Parametricity and Local Variables

    4. No Access

      Book Chapter

      Pages 165-185

      Reasoning About Local Variables with Operationally-Based Logical Relations

  5. Interference, Irreversibility, and Concurrency

    1. Front Matter

      Pages 187-187

    2. No Access

      Book Chapter

      Pages 189-225

      Syntactic Control of Interference Revisited

    3. No Access

      Book Chapter

      Pages 227-295

      Global State Considered Unnecessary: Introduction to Object-Based Semantics

    4. No Access

      Book Chapter

      Pages 297-329

      Linearity, Sharing and State: A Fully Abstract Game Semantics for Idealized Algol with Active Expressions

    5. No Access

      Book Chapter

      Pages 331-348

      The Essence of Parallel Algol

  6. Back Matter

    Pages 349-349