Pages that link to "Item:Q2507782"
From MaRDI portal
The following pages link to A formalisation of the relationship between forms of program slicing (Q2507782):
Displaying 7 items.
- A unifying theory of control dependence and its application to arbitrary program structures (Q650921) (← links)
- A trajectory-based strict semantics for program slicing (Q960858) (← links)
- A formal relationship between program slicing and partial evaluation (Q2432231) (← links)
- A novel formal approach to program slicing (Q2463836) (← links)
- Theoretical foundations of dynamic program slicing (Q2503318) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)