About these proceedings
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.
algebraic language theory amalgamation computational models grammar analysis graph constraints graph grammar graph parsing graph rewriting graph transformation system hypergraphs local search meta modeling model checking model transformations model-driven software engineering reachability reconfigurable petrinets rewrite systems software verification verification