Simulation-Based Graph Similarity
No abstract available.
Related papers
- Cache Behavior of Combinator Graph Reduction TOPLAS 1992
- Selecting Software Phase Markers with Code Structure Analysis CGO 2006
- Using Optimal Simulations to Reduce Reachability Graphs CAV 1990
- Computing Coupled Similarity TACAS 2019
- On the Adequacy of Graph Rewriting for Simulating Term Rewriting TOPLAS 1994
- Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus POPL 1997
- A History of Discrete Event Simulation Programming Languages HOPL 1993
- Counters in Kappa: Semantics, Simulation, and Static Analysis ESOP 2019