The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...
Handbook Of Graph Grammars And Computing By Graph Transformation, Volume 1
Vol 1: Foundations
The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact within the area of graph grammars, graph transformation is considered a fundamental programming paradigm where computation includes specification, programming, and implementation.
Over the last 25-odd years graph grammars have developed at a steady pace into a theoretically attractive and well-motivated research field. In particular, they are now based on very solid foundations, which are presented in this volume. Volume 1 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations includes a state-of-the-art presentation of the foundations of all the basic approaches to rule-based graph specification and transformation: algebraic approach, logic approach, node-based rewriting, (hyper)edge-based rewriting, programmed graph rewriting, and 2-structures. The book has been written in a tutorial/survey style to enhance its usefulness.
570 pages; ISBN 9789812384720
, or download in
No Place to Hide 2014 US$ 12.99 256 pages
Program Logics for Certified Compilers 2014 US$ 14.99 469 pages
- Academic > Mathematics > Algebra > Machine theory
- Academic > Mathematics > Algebra > Formal languages
- Academic > Mathematics > General > Mathematics; History; 20th century
- Academic > Computer Science > Computer programming
- Mathematics > Logic
- Computers > Programming
- Computers > Mathematical & Statistical Software