Efficient Graph Rewriting and Its Implementation: 922 (Lecture Notes in Computer Science) - Tapa blanda

D??rr, Heiko

 
9783540600558: Efficient Graph Rewriting and Its Implementation: 922 (Lecture Notes in Computer Science)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9780387600550: Efficient Graph Rewriting and Its Implementation (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  0387600558 ISBN 13:  9780387600550
Tapa blanda