A generic usage analysis with subeffect qualifiers

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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ICFP '07 : proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming : Freiburg, Germany, October 1-3, 2007 Germany, October 1-3, 2007, 2007-10, Vol.42 (9), p.235-246
Hauptverfasser:	Hage, Jurriaan, Holdermans, Stefan, Middelkoop, Arie
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!