(Logo)   IMADA
University of Southern Denmark IMADA - Department of Mathematics and Computer Science


A Calculational Approach to Control-flow Analysis by Abstract Interpretation

Jan Midtgaard
IRISA, INRIA, Rennes, France

Friday, June 27, 2008, at 10:30
IMADA's Seminar Room


We present a derivation of a control-flow analysis by abstract interpretation. Our starting point is a transition system semantics defined as an abstract machine for a small functional language in continuation-passing style. We obtain a Galois connection for abstracting the machine states by composing Galois connections, most notable an independent-attribute Galois connection on machine states and a Galois connection induced by a closure operator associated with a constituent-parts relation on environments. We calculate abstract transfer functions by applying the state abstraction to the collecting semantics, resulting in a demand-driven 0-CFA. We thereby provide a novel characterization of the analysis. This is joint work with Thomas Jensen.

Host: Kim Skak Larsen

SDU HOME | IMADA HOME | Previous Page
Daniel Merkle