Pages that link to "Item:Q5261519"
From MaRDI portal
The following pages link to Semi-sparse flow-sensitive pointer analysis (Q5261519):
Displayed 5 items.
- Dead code elimination based pointer analysis for multithreaded programs (Q1939745) (← links)
- Recognition of logically related regions based heap abstraction (Q1942939) (← links)
- Verifying pointer and string analyses with region type systems (Q2014831) (← links)
- Hash consed points-to sets (Q2145316) (← links)
- A sparse evaluation technique for detailed semantic analyses (Q2339156) (← links)