Pages that link to "Item:Q2503318"
From MaRDI portal
The following pages link to Theoretical foundations of dynamic program slicing (Q2503318):
Displaying 9 items.
- A unifying theory of control dependence and its application to arbitrary program structures (Q650921) (← links)
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- A trajectory-based strict semantics for program slicing (Q960858) (← links)
- Slicing for modern program structures: a theory for eliminating irrelevant loops (Q963331) (← links)
- Dynamic program slicing (Q1110308) (← links)
- A formalisation of the relationship between forms of program slicing (Q2507782) (← links)
- On the computational complexity of dynamic slicing problems for program schemas (Q3103616) (← links)
- Causally Consistent Dynamic Slicing (Q4608670) (← links)
- Abstract Program Slicing (Q5278199) (← links)