Functional Programming and Parallel Graph Rewriting

Functional Programming and Parallel Graph Rewriting is a book written by Rinus Plasmeijer and Marko van Eekelen. It was published in 1993.

It is available online in multiple parts:

• Preface
• Part 1 FUNCTIONAL PROGRAMMING
  • 1. Basic concepts
  • 2. Advanced concepts: Miranda
• Part 2 MODELS OF COMPUTATION
  • 3. The l-calculus
  • 4. Term rewriting systems
  • 5. Graph rewriting systems
• Part 3 ANALYSIS OF FUNCTIONAL PROGRAMS
  • 6. Type assignment systems
  • 7. Strictness analysis
• Part 4 IMPLEMENTATION ON SEQUENTIAL ARCHITECTURES
  • 8. Clean
  • 9. Translation into Clean
  • 10. The abstract ABC machine
  • 11. Translating Clean into ABC code
  • 12. Realizing the ABC machine
• Part 5 CONCURRENCY ISSUES
  • 13. Basic language concepts
  • 14. Parallel graph rewriting
  • 15. Concurrent Clean
  • 16. The Parallel ABC Machine
  • 17. Realizing the PABC machine
• APPENDICES
  • A. Syntax of the example programs
  • B. Concurrent Clean syntax and library
  • C. ABC machine specification
  • D. PABC machine specification
• Bibliography
• Index