Constructing Specialized Shape Analyses for Uniform Change
No abstract available.
Related papers
- Searching for Ribbon-Shaped Paths in Fair Transition Systems TACAS 2022
- From Low-Level Pointers to High-Level Containers VMCAI 2016
- Functorial ML JFP 1998
- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding SAS 2006
- Automatic Inline Allocation of Objects PLDI 1997
- Analysing Approximate Confinement under Uniform Attacks SAS 2002
- Combining Shape Analyses by Intersecting Abstractions VMCAI 2006
- A uniform type structure for secure information flow TOPLAS 2007