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

D??rr, Heiko

ISBN 10: 3540600558 / ISBN 13: 9783540600558

Edité par Springer, 1995

A propos de cet article

Like New. N° de réf. du vendeur ERICA75835406005585

Détails bibliographiques

Titre : Efficient Graph Rewriting and Its ...

Éditeur : Springer

Date d'édition : 1995

Reliure : Paperback

Etat : Like New

Type de livre : book

A propos de ce titre

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.