Paper at ICGT 2021

April 20, 2021

The paper “Automated Detection and Completion of Confluence for Graph Grammars” by Ira Fesefeldt, Christoph Matheja, Thomas Noll, and Johannes Schulte has been accepted as a tool paper at the International Conference on Graph Transformation (ICGT 2021). It presents an approach to check for a given context-free graph grammar whether the corresponding backward graph reduction system is confluent—a question that arises when using graph grammars to guide state space abstractions for analyzing heap-manipulating programs.