Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne
No abstract available.
Related papers
- Parametric Program Slicing POPL 1995
- Dynamic slicing on Java bytecode traces TOPLAS 2008
- Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation SAS 2013
- An improved algorithm for slicing machine code OOPSLA 2016
- Parametric Trace Slicing and Monitoring TACAS 2009
- The Rewrite Engines Competitions: A RECtrospective TACAS 2019
- METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies TOPLAS 2007
- Automated Analysis of Logically Constrained Rewrite Systems using crest TACAS 2025