Pages that link to "Item:Q960858"
From MaRDI portal
The following pages link to A trajectory-based strict semantics for program slicing (Q960858):
Displaying 7 items.
- Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas (Q649588) (← 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)
- A non-standard semantics for program slicing and dependence analysis (Q997995) (← links)
- Non-standard semantics for program slicing (Q1426864) (← links)
- Slicing programs in the presence of errors (Q1815347) (← links)
- A formal relationship between program slicing and partial evaluation (Q2432231) (← links)