Term Graph Rewriting: Theory and Practice - Rilegato

Sleep, M. R.; Plasmeijer, M. J.

Rilegato

ISBN 10: 0471935670 ISBN 13: 9780471935674

Casa editrice: John Wiley & Sons Inc, 1993

Riassunto

Charting the progress of the theory, implementations and applications of rewriting models of computation, this volume represents a key resource for researchers. Much of modern computer science - particularly 'new generation languages' - relies heavily on rewriting systems, and Term Graph Rewriting offers an insight into the very foundations.
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.
In order to fully appreciate the practical but novel benefits offered by term and graph rewriting techniques, readers are here presented with the most comprehensive study conducted to date. A crucial theme throughout is the relationship between term and graph rewriting which provides a useful context for considering implementations - ranging from high performance sequential to parallel distributed memory, and applications - specifically to logic and functional programming.

Dettagli dell'edizione

• Editore: John Wiley & Sons Inc
• Data di pubblicazione: 1993
• Lingua: Inglese
• ISBN 10: 0471935670
• ISBN 13: 9780471935674
• Rilegatura: Copertina rigida
• Numero di pagine: 400
• Redattore: Van Eekelen M. C. J. D.
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile