Program Analysis for Overlaid Data Structures
No abstract available.
Related papers
- Local Shape Analysis for Overlaid Data Structures SAS 2013
- Compositional Invariant Checking for Overlaid and Nested Linked Lists ESOP 2013
- Minimizing Register Usage Penalty at Procedure Calls PLDI 1988
- An automatic code overlaying technique for multicores with explicitly-managed memory hierarchies CGO 2012
- DrScheme: a programming environment for Scheme JFP 2002
- Amortised Memory Analysis Using the Depth of Data Structures ESOP 2009
- Nonuniform Alias Analysis of Recursive Data Structures and Arrays SAS 2002
- Static Analysis of Accessed Regions in Recursive Data Structures SAS 2003