Pages that link to "Item:Q1818078"
From MaRDI portal
The following pages link to Automatic analysis of pointer aliasing for untyped programs (Q1818078):
Displaying 6 items.
- A novel analysis space for pointer analysis and its application for bug finding (Q988180) (← links)
- Data dependence analysis in programs with pointers (Q1128852) (← links)
- Alias analysis pointers in Pascal and Fortran 90. I: Dependence analysis between pointer references (Q1901693) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
- Generalised multi-pattern-based verification of programs with linear linked structures (Q2642987) (← links)
- Evaluating the effectiveness of pointer alias analyses (Q5938707) (← links)