Name: efficient graph rewriting and its implementation
Price: 1901.00 TWD
Availability: InStock
Author: dörr
ISBN: 9783540600558

Select your country

Americas

Europe

Rest of the world

portada efficient graph rewriting and its implementation

efficient graph rewriting and its implementation

Type

Physical Book

Publisher

Springer

Author

dörr

Language

English

Pages

266

ISBN

3540600558

ISBN13

9783540600558

Synopsis "efficient graph rewriting and its implementation"

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.