Unified Analysis of Array and Object References in Strongly Typed Languages
Abstract elided by the publisher.
Related papers
- PARRAY: a unifying array representation for heterogeneous parallelism PPoPP 2012
- Rely-guarantee references for refinement types over aliased mutable data PLDI 2013
- A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations PLDI 1993
- Javari: adding reference immutability to Java OOPSLA 2005
- Global Communication Analysis and Optimization PLDI 1996
- Hinted Dictionaries: Efficient Functional Ordered Sets and Maps ECOOP 2023
- Interfaces for Strongly-Typed Object-Oriented Programming OOPSLA 1989
- Array regrouping and structure splitting using whole-program reference affinity PLDI 2004