Sciweavers

POPL
1996
ACM

A Practical and Flexible Flow Analysis for Higher-Order Languages

14 years 3 months ago
A Practical and Flexible Flow Analysis for Higher-Order Languages
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the speed and accuracy of the analysis. An implementation of the analysis is incorporated into and used in a production Scheme compiler. The analysis can process any legal Scheme program without modification. Others have demonstrated that a 0CFA analysis can enable optimizations, but a 0CFA analysis is O(n3). An O(n) instantiation of our analysis successfully enables the optimization of closure representations and procedure calls. Experiments with the cheaper instantiation show that it is as effective as 0CFA for these optimizations. Categories and Subject Descriptors: D.3.4 [Programming Languages]: Processors--Optimization General Terms: Algorithms, Design al Key Words and Phrases: abstract interpretation, higher-order languages
J. Michael Ashley
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1996
Where POPL
Authors J. Michael Ashley
Comments (0)