The following pages link to Static Analysis (Q5897438):
Displaying 8 items.
- Shapeliness analysis of functional programs with algebraic data types (Q1566916) (← links)
- Interprocedural shape analysis using separation logic-based transformer summaries (Q2233537) (← links)
- Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (Q2891398) (← links)
- Precise Interprocedural Analysis in the Presence of Pointers to the Stack (Q3000594) (← links)
- Access Analysis-Based Tight Localization of Abstract Memories (Q3075495) (← links)
- Interprocedural Shape Analysis with Separated Heap Abstractions (Q3613389) (← links)
- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs (Q4916088) (← links)
- Static Analysis (Q5466564) (← links)