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.
Categories:
Year:
1993
Publisher:
John Wiley & Sons Inc
Language:
english
Pages:
622
ISBN 10:
0471935670
ISBN 13:
9780471935674
File:
PDF, 1.38 MB
IPFS:
,
english, 1993