Computing (FOLDOC) dictionary
Jump to user comments
done by rewriting. Rewrite rules are used to specify
["Term Rewriting as a Basis for the Design of a Functional and
Parallel Programming Language. A Case Study: The Language
FP2", Ph. Jorrand in Fundamentals of Artificial Intelligence,
LNCS 258, Springer 1986, pp. 221-276].
(1994-10-20)