Functional Programming and Parallel Graph Rewriting

From Clean
(Difference between revisions)
Jump to: navigation, search
(Created page with 'Functional Programming and Parallel Graph Rewriting is a book written by Rinus Plasmeijer and Marko van Eekelen. It was published in 1993. [[Image:FunctionalProgammingAndParallel…')
 
Line 1: Line 1:
 +
[[Image:FunctionalProgammingAndParallelGraphRewriting.gif]]
 
Functional Programming and Parallel Graph Rewriting is a book written by Rinus Plasmeijer and Marko van Eekelen.
 
Functional Programming and Parallel Graph Rewriting is a book written by Rinus Plasmeijer and Marko van Eekelen.
 
It was published in 1993.
 
It was published in 1993.
[[Image:FunctionalProgammingAndParallelGraphRewriting.gif]]
+
 
 +
It is available online in multiple parts:
 +
 
 +
* [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch00.Preface.ps Preface]
 +
* Part 1 FUNCTIONAL PROGRAMMING
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch01.Basic_Conc.ps 1. Basic concepts]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch02.Mira.ps 2. Advanced concepts: Miranda]
 +
* Part 2 MODELS OF COMPUTATION
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch03.Lam_Cal.ps 3. The l-calculus]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch04.TRS.ps 4. Term rewriting systems]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch05.GRS.ps 5. Graph rewriting systems]
 +
* Part 3 ANALYSIS OF FUNCTIONAL PROGRAMS
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch06.Typing.ps 6. Type assignment systems]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch07.Strictness.ps 7. Strictness analysis]
 +
* Part 4 IMPLEMENTATION ON SEQUENTIAL ARCHITECTURES
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch08.Clean1.ps 8. Clean]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch09.Mira_to_Clean.ps 9. Translation into Clean]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch10.ABC.ps 10. The abstract ABC machine]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch11.Cl_to_ABC.ps 11. Translating Clean into ABC code]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch12.Concret.ABC.ps 12. Realizing the ABC machine]
 +
* Part 5 CONCURRENCY ISSUES
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch13.Basic_Conc.ps 13. Basic language concepts]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch14.GRS.ps 14. Parallel graph rewriting]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch15.ConcClean.ps 15. Concurrent Clean]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch16.PABC-Cl_to_PABC.ps 16. The Parallel ABC Machine]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/Ch17.Concret.PABC.ps 17. Realizing the PABC machine]
 +
* APPENDICES
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/ChAppA.Mira_syntax.ps A. Syntax of the example programs]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/ChAppB.CoCl_syntax.ps B. Concurrent Clean syntax and library]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/ChAppC.ABC_def.ps C. ABC machine specification]
 +
** [http://www.st.cs.ru.nl/papers/1993/plaseek93/ChAppD.PABC_def.ps D. PABC machine specification]
 +
* [http://www.st.cs.ru.nl/papers/1993/plaseek93/ChBibliography.ps Bibliography]
 +
* [http://www.st.cs.ru.nl/papers/1993/plaseek93/ChIndex.ps Index]

Revision as of 10:04, 5 July 2010

FunctionalProgammingAndParallelGraphRewriting.gif 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:

Personal tools