A generic usage analysis with subeffect qualifiers

Jurriaan Hage; S. Holdermans; A. Middelkoop

doi:10.1145/1291151.1291189

A generic usage analysis with subeffect qualifiers

Jurriaan Hage, S. Holdermans, A. Middelkoop

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

17 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Subtitle of host publication	ICFP '07
Editors	R. Hinze, N. Ramsey
Publisher	Association for Computing Machinery
Pages	235-246
Number of pages	12
ISBN (Print)	9781595938152
DOIs	https://doi.org/10.1145/1291151.1291189
Publication status	Published - 1 Oct 2007

Access to Document

10.1145/1291151.1291189

Cite this

@inproceedings{f830ebb83f1643a4bb0a6cdbe256a555,

title = "A generic usage analysis with subeffect qualifiers",

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.",

author = "Jurriaan Hage and S. Holdermans and A. Middelkoop",

year = "2007",

month = oct,

day = "1",

doi = "10.1145/1291151.1291189",

language = "English",

isbn = "9781595938152",

pages = "235--246",

editor = "R. Hinze and N. Ramsey",

booktitle = "Proceedings of the 12th ACM SIGPLAN international conference on Functional programming",

publisher = "Association for Computing Machinery",

address = "United States",

}

TY - GEN

T1 - A generic usage analysis with subeffect qualifiers

AU - Hage, Jurriaan

AU - Holdermans, S.

AU - Middelkoop, A.

PY - 2007/10/1

Y1 - 2007/10/1

N2 - 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.

AB - 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.

U2 - 10.1145/1291151.1291189

DO - 10.1145/1291151.1291189

M3 - Conference contribution

SN - 9781595938152

SP - 235

EP - 246

BT - Proceedings of the 12th ACM SIGPLAN international conference on Functional programming

A2 - Hinze, R.

A2 - Ramsey, N.

PB - Association for Computing Machinery

ER -

A generic usage analysis with subeffect qualifiers

Abstract

Access to Document

Fingerprint

Cite this