Variable Dependence Analysis

Variable dependence is a source code analysis problem, related to slicing and chopping, in which the aim is to determine the set of variables that can affect the values of given program variables at specified points in the program. This paper describes an approach to solving the problem based on transforming program code into an intermediate language without preserving concrete semantics but keeping variable dependence relations intact. Interestingly the transformation phase need only preserve variable dependence, thereby admitting useful transformations that fail to preserve standard semantics (but do preserve variable dependence). The paper describes an implementation of a variable dependence analysis system called VADA, illustrating the application of non-meaning - preserving transformation, together with an empirical study of performance optimisation steps.

Provided by: University of Essex Topic: Software Date Added: Apr 2010 Format: PDF

Download Now

Find By Topic