Pages that link to "Item:Q5184379"
From MaRDI portal
The following pages link to Information-flow and data-flow analysis of while-programs (Q5184379):
Displayed 6 items.
- On detecting environment sensitivity using slicing (Q344794) (← links)
- A demonstrably correct compiler (Q749202) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Dynamic program slicing (Q1110308) (← links)
- A theory for execution-time derivation in real-time programs (Q2576947) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)