Functional Programming and Parallel Graph Rewriting

"Functional Programming and Parallel Graph Rewriting" written by Plasmeijer and Van Eekelen is published by Addison-Wesley in 1993 (ISBN 0-201-41663-8, 571 pages). It explains in detail the theoretical ideas behind Clean and shows how these ideas can be used to make an efficient implementation. Here is a review of the book.

Book Content

The book 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