Term Graph Rewriting

Theory and Practice

• Author(s): M. R. Sleep, M. J. Plasmeijer, Marinus Jacobus Plasmeijer, M. C. J. D. van Eekelen,
• Publisher: Wiley
• Pages: 385
• ISBN_10: 0471935670
  ISBN_13: 9780471935674
  
• Language: en
• Categories: Computers / General , Computers / Programming / General , Computers / Languages / General ,

Description:... A comprehensive study and exposition on the benefits of graph and term rewriting. Contains such theoretical advances as a single pushout categorical model of graph rewriting, a new theory of transfinite term rewriting and an abstract interpretation for term graph rewriting. Includes a discussion of parallelism.