An equational framework for the flow analysis of higher order functional programs

Control-flow analysis of functional programs

“…Stefanescu and Zhou [153] developed one such framework for expressing CFAs. Their framework is based on termrewriting sequences of a small closure-based core language.…”

“…Together with a companion concretization function, the two can form a Galois connection [37]. Few papers investigating control-flow analysis relate them by Galois connections [15,153,111]. Ayers's work on Galois connections is available only in his PhD thesis.…”

A suite of analysis tools based on a general purpose abstract interpreter

“…The function abstraction methodology is clarified and generalized in [10] which presents a theory for general flow analysis which approximates values (both basic and functional) computed within a functional program according to a syntactic notion of equivalence. The analysis is presented in an equational setting in the style of Cousots' original paper (see [3]).…”

“…While in the spirit of [10], the method presented in this paper uses a different, but equivalent, system of constraints chosen to expose optimization opportunities which avoid the unnecessary fixpoint iterations inherent in Shivers approach and therefore its large running costs ( [12]). …”

Bulk synchronous parallel computing-a paradigm for transportable software

“…A collection of compiler tools (optimizers, code generators, etc.) which, based on the parameters of the computational model, will generate e cient code for a large range of parallel computers ( 4,23,6]). A collection of library operations for communication and synchronization appropriate for a BSP runtime system.…”