Pages that link to "Item:Q963331"
From MaRDI portal
The following pages link to Slicing for modern program structures: a theory for eliminating irrelevant loops (Q963331):
Displaying 14 items.
- On detecting environment sensitivity using slicing (Q344794) (← links)
- 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)
- Fast computation of strong control dependencies (Q832318) (← links)
- An alternative characterization of weak order dependence (Q1675759) (← links)
- Assertion-based slicing and slice graphs (Q1941855) (← links)
- Theoretical foundations of dynamic program slicing (Q2503318) (← links)
- A Theory of Slicing for Probabilistic Control Flow Graphs (Q2811339) (← links)
- Slicing Behavior Tree Models for Verification (Q3163878) (← links)
- Correctly Slicing Extended Finite State Machines (Q3297841) (← links)
- Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL (Q3543667) (← links)
- Programming Languages and Systems (Q5316585) (← links)
- Programming Languages and Systems (Q5902356) (← links)
- Efficient computation of arbitrary control dependencies (Q6165552) (← links)