The following pages link to (Q3341865):
Displayed 7 items.
- Efficient comparison of program slices (Q758192) (← links)
- Properties of data flow frameworks: A unified model (Q910237) (← links)
- Slicing for architectural analysis (Q988166) (← links)
- Combining preprocessor slicing with C/C++ language slicing (Q1021461) (← links)
- A novel formal approach to program slicing (Q2463836) (← links)
- An optimal algorithm for the construction of the system dependence graph (Q5938653) (← links)
- Upper bound computation of information leakages for unbounded recursion (Q6045049) (← links)