Graph Transformation

Beschreibung

This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. 
The 14 papers presented in this were carefully reviewed and selected from 33 submissions. They were organized in topical sections named: foundations, tools and algorithms, queries, and applications. 
The book also contains one keynote paper in full paper length. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016. An obituary is included in the front matter of the volume. 
Includes supplementary material: sn.pub/extras

Autor*in

Rachid Echahed

Themen in »Graph Transformation«

graph grammar graph transformation system model checking rewrite systems software verification algebraic language theory amalgamation computational models grammar analysis graph constraints graph-based database models hypergraphs local search meta modeling model transformations

Stimmen zu »Graph Transformation«

Details

Link teilen