AGeneric Usage Analysis With Subeffect Qualifiers
Room: BBL room 471
(Joint work with Jurriaan Hage and Arie Middelkoop)
Sharing analysis and uniqueness typing are static analyses that aim at
determining which of a program's objects are to be used at most once.
There are many commonalities between these two forms of usage analysis.
We make their connection precise by developing an expressive generic
analysis that can be instantiated to both sharing analysis and uniqueness
The resulting system, which combines parametric polymorphism with effect
subsumption, is specified within the general framework of qualified
types, so that readily available tools and techniques can be used for
the development of implementations and metatheory.
- 09 Jul 2007