Efficient Graph Rewriting and Its Implementation

Main
Computers - Programming
Efficient Graph Rewriting and Its...

Efficient Graph Rewriting and Its Implementation

Name: Efficient Graph Rewriting and Its Implementation
ISBN: 9783540600558

Heiko Dörr (eds.)

0 / 0

0 comments

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

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.

种类:

Computers - Programming

年:

1995

出版:

出版社:

Springer-Verlag Berlin Heidelberg

语言:

english

页:

266

ISBN 10: