Lightweight Shape Analysis Based on Physical Types
Abstract elided by the publisher.
Related papers
- Automatically learning shape specifications PLDI 2016
- Region-based shape analysis with tracked locations POPL 2005
- A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions GPCE 2019
- A lightweight approach to datatype-generic rewriting JFP 2010
- Predicate Abstraction for Linked Data Structures VMCAI 2016
- Multi-Dimensional Context-Oriented Programming with a Lightweight Domain Specific Language SLE 2026
- A relational framework for higher-order shape analysis ICFP 2014
- Checking type safety of foreign function calls PLDI 2005