Erweiterte
Suche ›

Efficient Graph Rewriting and Its Implementation

Springer Berlin,
Buch
74,89 € Lieferbar in 5-7 Tagen

Kurzbeschreibung

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.

Details
Schlagworte

Titel: Efficient Graph Rewriting and Its Implementation
Autoren/Herausgeber: Heiko Dörr
Aus der Reihe: Lecture Notes in Computer Science
Ausgabe: 1995

ISBN/EAN: 9783540600558

Seitenzahl: 266
Format: 23,3 x 15,5 cm
Produktform: Taschenbuch/Softcover
Gewicht: 900 g
Sprache: Englisch

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht