Exploiting reachability and cardinality in higher-order flow analysis

Content Provider	Scilit
Author	Might, Matthew Shivers, Olin
Copyright Year	2008
Description	We present two complementary improvements for abstract-interpretation-based flow analysis of higher-order languages: (1) abstract garbage collection and (2) abstract counting. Abstract garbage collection is an analog to its concrete counterpart: the analysis determines when an abstract resource has become unreachable, and then, re-allocates it as fresh. This prevents flow sets from joining during abstract interpretation, which has two immediate effects: (1) the precision of the interpretation increases and (2) its running time often falls. In abstract counting, the analysis tracks how many times an abstract resource has been allocated. A count of one implies that the abstract resource momentarily represents only one concrete resource. This knowledge, in turn, drives environment analysis, expanding the kind (rather than just the degree) of optimization available to the compiler.
Related Links	http://matt.might.net/papers/might2008exploiting.pdf https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5B6F7BCB241D1B0701DB312E12AE6769/S0956796808006941a.pdf/div-class-title-exploiting-reachability-and-cardinality-in-higher-order-flow-analysis-div.pdf
Ending Page	864
Page Count	44
Starting Page	821
ISSN	09567968
e-ISSN	14697653
DOI	10.1017/s0956796808006941
Journal	Journal of Functional Programming
Issue Number	5-6
Volume Number	18
Language	English
Publisher	Cambridge University Press (CUP)
Publisher Date	2008-09-01
Access Restriction	Open
Subject Keyword	Journal of Functional Programming Hardware and Architecture Flow Analysis Higher Order Garbage Collection
Content Type	Text
Resource Type	Article
Subject	Software