The following pages link to (Q2764069):
Displaying 7 items.
- Shapeliness analysis of functional programs with algebraic data types (Q1566916) (← links)
- Interprocedural shape analysis using separation logic-based transformer summaries (Q2233537) (← links)
- (Q3024897) (← links)
- Scalable Shape Analysis for Systems Code (Q3512506) (← links)
- Interprocedural Shape Analysis with Separated Heap Abstractions (Q3613389) (← links)
- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs (Q4916088) (← links)
- Static Analysis (Q5897438) (← links)