Safety of Strictness Analysis via Term Graph Rewriting
Abstract elided by the publisher.
Related papers
- Small Domains Spell Fast Strictness Analysis POPL 1990
- Term Graph Rewriting for the pi-Calculus APLAS 2003
- On the Adequacy of Graph Rewriting for Simulating Term Rewriting TOPLAS 1994
- Transformation techniques for context-sensitive rewrite systems JFP 2004
- Completeness of an axiomatization of graph isomorphism via graph rewriting in Coq CPP 2020
- Verifying Term Graph Optimizations using Isabelle/HOL CPP 2023
- Regular language type inference with term rewriting ICFP 2020
- On Strictness and its Analysis POPL 1987