Paper accepted by Formal Methods in System Design

The paper entitled Juggrnaut: Using Graph Grammars for Abstracting Unbounded Heap Structures by Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen and Thomas Noll has been accepted for publication by the Formal Methods in System Design journal.  This paper presents a novel abstraction framework for heap data structures that employs graph grammars for modelling dynamic data structures, and for defining abstraction mappings to handle infinite state spaces that can arise during the execution of pointer programs.