Efficient Graph Rewriting and Its Implementation
Produktnummer:
18dcb7a36fc33647cfbbee0c7a4c84df95
| Autor: | Dörr, Heiko |
|---|---|
| Themengebiete: | Attribut Efficient Implementation Effiziente Implementierung Functional Programming Funktionales Programmieren Graph Rewriting Systems Graphersetzungssysteme UBS-Eigenschaft UBS Property Visual Programming |
| Veröffentlichungsdatum: | 14.07.1995 |
| EAN: | 9783540600558 |
| Sprache: | Englisch |
| Seitenzahl: | 266 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
Produktinformationen "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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen