Points-to Analysis by Type Inference of Programs with Structures and Unions
No abstract available.
Related papers
- Bidirectional Higher-Rank Polymorphism with Intersection and Union Types POPL 2025
- MLstruct: principal type inference in a Boolean algebra of structural types OOPSLA 2022
- Type inference for locality analysis of distributed data structures PPoPP 2008
- State of the Union: Type Inference Via Craig Interpolation TACAS 2007
- Compacting points-to sets through object clustering OOPSLA 2021
- Declaration-Free Type Checking POPL 1985
- Regular expression pattern matching for XML POPL 2001
- A Practical Soft Type System for Scheme TOPLAS 1997