Paper at ICGT 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.