The following pages link to Christina Jansen (Q746780):
Displaying 6 items.
- Juggrnaut: using graph grammars for abstracting unbounded heap structures (Q746781) (← links)
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
- A Local Greibach Normal Form for Hyperedge Replacement Grammars (Q3004590) (← links)
- Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (Q3192222) (← links)
- Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (Q3192224) (← links)
- Tree-Like Grammars and Separation Logic (Q3460900) (← links)
