Sciweavers

TACS
1994
Springer

Separate Abstract Interpretation for Control-Flow Analysis

13 years 7 months ago
Separate Abstract Interpretation for Control-Flow Analysis
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods to perform static analysis of programs. We present a new technique that builds upon the type and effect information of module signatures to bstract interpretation in the context of separate compilation. We use control-flow analysis as an application of this idea to support our claim. Control-flow analysis strives to determine at compile time which functions, in a given call environment, may be called by a particular application expression. This static control-flow analysis can be expressed ther a type and effect system or abstract interpretation. The type and effect approach supports separate compilation but, being structural, collapses all call environments together, thus limiting the precision of control-flow information. By contrast, the abstract interpretation approach fails to support separate compilatio...
Yan Mei Tang, Pierre Jouvelot
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where TACS
Authors Yan Mei Tang, Pierre Jouvelot
Comments (0)