A generic usage analysis with subeffect qualifiers

Jurriaan Hage, S. Holdermans, A. Middelkoop

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationProceedings of the 12th ACM SIGPLAN international conference on Functional programming
Subtitle of host publicationICFP '07
EditorsR. Hinze, N. Ramsey
PublisherAssociation for Computing Machinery
Number of pages12
ISBN (Print)9781595938152
Publication statusPublished - 1 Oct 2007


Dive into the research topics of 'A generic usage analysis with subeffect qualifiers'. Together they form a unique fingerprint.

Cite this