Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
No abstract available.
Related papers
- Once Upon a Polymorphic Type POPL 1999
- Type-base flow analysis: from polymorphic subtyping to CFL-reachability POPL 2001
- A type-and-effect system for object initialization OOPSLA 2020
- Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time SAS 1995
- Static determination of quantitative resource usage for higher-order programs POPL 2010
- Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators ICFP 2010
- Predicting whole-program locality through reuse distance analysis PLDI 2003
- A generic usage analysis with subeffect qualifiers ICFP 2007