Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
No abstract available.
Related papers
- A Learning-Based Approach to Static Program Slicing OOPSLA 2024
- A framework for the integration of partial evaluation and abstract interpretation of logic programs TOPLAS 2004
- Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing GPCE 2022
- Transforming Quantified Boolean Formulas Using Biclique Covers TACAS 2023
- Higher-Order unCurrying POPL 1998
- Specialization slicing PLDI 2014
- Partial Dead Code Elimination using Slicing Transformations PLDI 1997
- A Polyvariant Binding-Time Analysis for Off-line Partial Deduction ESOP 1998