The following pages link to Abstract Program Slicing (Q5278199):
Displaying 5 items.
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)
- (Q3601408) (← links)
- Assertion-based analysis via slicing with<tt>ABETS</tt>(system description) (Q4593040) (← links)
- Abstract semantic dependency (Q6536297) (← links)
- Improving dynamic code analysis by code abstraction (Q6646291) (← links)