Pages that link to "Item:Q1426864"
From MaRDI portal
The following pages link to Non-standard semantics for program slicing (Q1426864):
Displayed 7 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- Transfinite semantics in the form of greatest fixpoint (Q843215) (← links)
- A trajectory-based strict semantics for program slicing (Q960858) (← links)
- A non-standard semantics for program slicing and dependence analysis (Q997995) (← links)
- Theoretical foundations of dynamic program slicing (Q2503318) (← links)
- Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)