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. 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