Efficient Graph Rewriting and Its Implementation

Author:   Heiko Dörr
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   1995 ed.
Volume:   922
ISBN:  

9783540600558


Pages:   266
Publication Date:   14 July 1995
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $171.47 Quantity:  
Add to Cart

Share |

Efficient Graph Rewriting and Its Implementation


Overview

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.

Full Product Details

Author:   Heiko Dörr
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1995 ed.
Volume:   922
Dimensions:   Width: 15.50cm , Height: 1.50cm , Length: 23.30cm
Weight:   0.900kg
ISBN:  

9783540600558


ISBN 10:   3540600558
Pages:   266
Publication Date:   14 July 1995
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Graph rewriting systems - The basic concepts.- UBS-Graph rewriting systems - matching subgraphs in constant time.- Programmed attributed graph rewrite systems - An advanced modelling formalism.- The abstract machine for graph rewriting - supporting a fast implementation.- A graphical implementation of functional languages - a case study in UBS-graph rewriting systems.- Conclusions.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List