Polyvariant Flow Analysis with Constrained Types
Abstract elided by the publisher.
Related papers
- From Polyvariant Flow Information to Intersection and Union Types POPL 1998
- Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators ICFP 2010
- Polymorphic Splitting: An Effective Polyvariant Flow Analysis TOPLAS 1998
- From Polyvariant flow information to intersection and union types JFP 2001
- A Modular, Polyvariant, and Type-Based Closure Analysis ICFP 1997
- Dynamic data polyvariance using source-tagged classes DLS 2005
- Abstract allocation as a unified approach to polyvariance in control-flow analyses JFP 2018
- Faithful Translations between Polyvariant Flows and Polymorphic Types ESOP 2000