Pages that link to "Item:Q1815347"
From MaRDI portal
The following pages link to Slicing programs in the presence of errors (Q1815347):
Displaying 9 items.
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- A trajectory-based strict semantics for program slicing (Q960858) (← links)
- A non-standard semantics for program slicing and dependence analysis (Q997995) (← links)
- Combining preprocessor slicing with C/C++ language slicing (Q1021461) (← links)
- Equivalence of conservative, free, linear program schemas is decidable (Q1853616) (← links)
- Type error slicing in implicitly typed higher-order languages (Q1887738) (← links)
- Assertion-based slicing and slice graphs (Q1941855) (← links)
- Theoretical foundations of dynamic program slicing (Q2503318) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)