The Resource Efficient graph rewriting and its implementation, Heiko Dörr
Efficient graph rewriting and its implementation, Heiko Dörr
Resource Information
The item Efficient graph rewriting and its implementation, Heiko Dörr represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Efficient graph rewriting and its implementation, Heiko Dörr represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- "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."--PUBLISHER'S WEBSITE
- Language
- eng
- Label
- Efficient graph rewriting and its implementation
- Title
- Efficient graph rewriting and its implementation
- Statement of responsibility
- Heiko Dörr
- Language
- eng
- Summary
- "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."--PUBLISHER'S WEBSITE
- Cataloging source
- DLC
- http://library.link/vocab/creatorDate
- 1962-
- http://library.link/vocab/creatorName
- Dörr, Heiko
- Index
- index present
- Literary form
- non fiction
- Series statement
- Lecture notes in computer science
- Series volume
- 922
- http://library.link/vocab/subjectName
- Rewriting systems (Computer science)
- Label
- Efficient graph rewriting and its implementation, Heiko Dörr
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 32698586
- Dimensions
- 24 cm
- Extent
- ix, 266 pages
- Isbn
- 9780387600550
- Isbn Type
- (U.S. : alk. paper)
- Lccn
- 95030326
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- System control number
- (WaOLN)1670211
- Label
- Efficient graph rewriting and its implementation, Heiko Dörr
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 32698586
- Dimensions
- 24 cm
- Extent
- ix, 266 pages
- Isbn
- 9780387600550
- Isbn Type
- (U.S. : alk. paper)
- Lccn
- 95030326
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- System control number
- (WaOLN)1670211
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Efficient-graph-rewriting-and-its-implementation/axrRUlg2Li0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Efficient-graph-rewriting-and-its-implementation/axrRUlg2Li0/">Efficient graph rewriting and its implementation, Heiko Dörr</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Efficient graph rewriting and its implementation, Heiko Dörr
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Efficient-graph-rewriting-and-its-implementation/axrRUlg2Li0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Efficient-graph-rewriting-and-its-implementation/axrRUlg2Li0/">Efficient graph rewriting and its implementation, Heiko Dörr</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
