Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Keywords
Table of contents (7 chapters)
Bibliographic Information
Book Title: Efficient Graph Rewriting and Its Implementation
Editors: Heiko Dörr
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0031909
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-60055-8Published: 14 July 1995
eBook ISBN: 978-3-540-49419-5Published: 11 December 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 266
Topics: Theory of Computation, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software Engineering