Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems"
Abstract
No abstract available.
Related papers
- Static Backward Slicing of Non-deterministic Programs and Systems TOPLAS 2018
- A Learning-Based Approach to Static Program Slicing OOPSLA 2024
- A Backward Slicing Algorithm for Prolog SAS 1996
- Path-Sensitive Backward Slicing SAS 2012
- Slicing as a program transformation TOPLAS 2007
- DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing CGO 2014
- Foreword TOPLAS 2017
- Multidirectional Propagation of Sparsity Information across Tensor Slices CGO 2026