Efficient Graph Rewriting and Its Implementation

D?rr Heiko

ISBN 10: 3540600558 / ISBN 13: 9783540600558

Published by Springer, 1995

About this Item

pp. 288 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Seller Inventory # 5861243

Bibliographic Details

• Title: Efficient Graph Rewriting and Its Implementation
• Publisher: Springer
• Publication Date: 1995
• Language: English
• ISBN 10: 3540600558
• ISBN 13: 9783540600558
• Binding: Soft cover
• Condition: New

About this title

Synopsis

This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS.
The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational specification. The translation of a functional programming language to graph rewriting shows the capabilities of UBS-GRS.