Pages that link to "Item:Q5408527"
From MaRDI portal
The following pages link to Points-to analysis with efficient strong updates (Q5408527):
Displaying 4 items.
- Hash consed points-to sets (Q2145316) (← links)
- Ownership guided C to Rust translation (Q6535702) (← links)
- Fast and precise handling of positive weight cycles for field-sensitive pointer analysis (Q6536277) (← links)
- Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis (Q6536280) (← links)