Pages that link to "Item:Q650921"
From MaRDI portal
The following pages link to A unifying theory of control dependence and its application to arbitrary program structures (Q650921):
Displayed 6 items.
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- Fast computation of strong control dependencies (Q832318) (← links)
- Simple and efficient computation of minimal weak control closure (Q2233536) (← links)
- A Theory of Slicing for Probabilistic Control Flow Graphs (Q2811339) (← links)
- Correctly Slicing Extended Finite State Machines (Q3297841) (← links)
- Abstract Program Slicing (Q5278199) (← links)