Abstract Computing Machines

A Lambda Calculus Perspective

Authors:

ISBN: 978-3-540-21146-4 (Print) 978-3-540-27359-2 (Online)

Table of contents (14 chapters)

  1. No Access

    Book Chapter

    Pages 1-9

    Introduction

  2. No Access

    Book Chapter

    Pages 11-35

    Algorithms and Programs

  3. No Access

    Book Chapter

    Pages 37-49

    An Algorithmic Language

  4. No Access

    Book Chapter

    Pages 51-88

    The λ-Calculus

  5. No Access

    Book Chapter

    Pages 89-111

    The se(m)cd Machine and Others

  6. No Access

    Book Chapter

    Pages 113-147

    Toward Full-Fledged λ-Calculus Machines

  7. No Access

    Book Chapter

    Pages 149-169

    Interpreted Head-Order Graph Reduction

  8. No Access

    Book Chapter

    Pages 171-191

    The B-Machine

  9. No Access

    Book Chapter

    Pages 193-213

    The G-Machine

  10. No Access

    Book Chapter

    Pages 215-252

    The π-red Machinery

  11. No Access

    Book Chapter

    Pages 253-269

    Pattern Matching

  12. No Access

    Book Chapter

    Pages 271-287

    Another Functional Abstract Machine

  13. No Access

    Book Chapter

    Pages 289-319

    Imperative Abstract Machines

  14. No Access

    Book Chapter

    Pages 321-346

    Real Computing Machines