Functional programming and parallel graph rewriting(free web version)
M. R. Sleep, M. J. Plasmeijer
Charting the progress of the theory, implementation and applications of rewriting models of computation, this study represents a key resource for researchers. A major feature of the book is the presentation of theoretical advances such as a new theory of transfinite term rewriting, a single pushout categorical model of graph rewriting and an abstract interpretation for term graph rewriting.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
