Proceedings of the 1994 ACM Conference on LISP and Functional Programming - LFP '94 1994
DOI: 10.1145/182409.182497
|View full text |Cite
|
Sign up to set email alerts
|

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

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
11
0

Year Published

1994
1994
2012
2012

Publication Types

Select...
5
1
1

Relationship

2
5

Authors

Journals

citations
Cited by 22 publications
(12 citation statements)
references
References 21 publications
1
11
0
Order By: Relevance
“…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.…”
Section: Frameworkmentioning
confidence: 99%
See 1 more Smart Citation
“…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.…”
Section: Frameworkmentioning
confidence: 99%
“…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.…”
Section: Towards Abstract-interpretation Analysesmentioning
confidence: 99%
“…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]).…”
Section: Related Workmentioning
confidence: 99%
“…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]). …”
Section: Related Workmentioning
confidence: 99%
“…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.…”
Section: Introductionmentioning
confidence: 99%