AGeneric Usage Analysis With Subeffect Qualifiers
Stc
Date: 2007-09-13
Time: 11:45
Room: BBL room 471
(Joint work with Jurriaan Hage and Arie Middelkoop)
Abstract
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
typing.
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.
--
StefanHoldermans - 09 Jul 2007
