A Backward Slicing Algorithm for Prolog
No abstract available.
Related papers
- Static Backward Slicing of Non-deterministic Programs and Systems TOPLAS 2018
- Path-Sensitive Backward Slicing SAS 2012
- Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems" TOPLAS 2018
- A Learning-Based Approach to Static Program Slicing OOPSLA 2024
- Dynamic slicing on Java bytecode traces TOPLAS 2008
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
- Slicing as a program transformation TOPLAS 2007
- Multidirectional Propagation of Sparsity Information across Tensor Slices CGO 2026