Term Graph Rewriting for the pi-Calculus
No abstract available.
Related papers
- Safety of Strictness Analysis via Term Graph Rewriting SAS 2000
- On the Adequacy of Graph Rewriting for Simulating Term Rewriting TOPLAS 1994
- A Rewriting Semantics for Program Dependence Graphs POPL 1989
- Completeness of an axiomatization of graph isomorphism via graph rewriting in Coq CPP 2020
- Verifying Term Graph Optimizations using Isabelle/HOL CPP 2023
- Variable Elimination as Rewriting in a Linear Lambda Calculus ESOP 2025
- The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming ICFP 2023
- Termination of rewriting in the Calculus of Constructions JFP 2003