Control-flow analysis of function calls and returns by abstract interpretation.(Report) Midtgaard, Jan; Jensen, Thomas P.

User activity

Share to:
View the summary of this work
Authors
Midtgaard, Jan ; Jensen, Thomas P.
Appears In
Information and Computation
Subjects
Computers; [info:info_pl] computer science/programming languages; Analysis
Audience
Academic
Summary
To link to full-text access for this article, visit this link: http://dx.doi.org/10.1016/j.ic.2011.11.005 Byline: Jan Midtgaard (a), Thomas P. Jensen (b) Keywords: Control-flow analysis; Abstract interpretation Abstract: Abstract interpretation techniques are used to derive a control-flow analysis for a simple higher-order functional language. The analysis approximates the interprocedural control-flow of both function calls and returns in the presence of first-class functions and tail-call optimization. In addition to an abstract environment, the analysis computes for each expression an abstract call-stack, effectively approximating where function calls return. The analysis is systematically derived by abstract interpretation of the stack-based C.sub.aEK abstract machine of Flanagan et al. using a series of Galois connections. We prove that the analysis is equivalent to an analysis obtained by first transforming the program into continuation-passing style and then performing control flow analysis of the transformed program. We then show how the analysis induces an equivalent constraint-based formulation, thereby providing a rational reconstruction of a constraint-based CFA from abstract interpretation principles. Author Affiliation: (a) Department of Computer Science, Aarhus University, Abogade 34, DK-8200 Aarhus N, Denmark (b) INRIA, Campus de Beaulieu, F-35042 Rennes, France Article History: Received 19 May 2010; Revised 2 November 2011
Bookmark
http://trove.nla.gov.au/work/191206
Work ID
191206

2 editions of this work

Find a specific edition
Thumbnail [View as table] [View as grid] Title, Author, Edition Date Language Format Libraries

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this work

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this work

Add a comment


Show comments and reviews from Amazon users