FP2

FP2

Functional Parallel Programming. A term rewriting languagewhich unifies functional programming and parallel programming. Every object is a term and every computation isdone by rewriting. Rewrite rules are used to specifyalgebraic data types and parallel processes.

["Term Rewriting as a Basis for the Design of a Functional andParallel Programming Language. A Case Study: The LanguageFP2", Ph. Jorrand in Fundamentals of Artificial Intelligence,LNCS 258, Springer 1986, pp. 221-276].