Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
Abstract We present a new algorithm which computes a partial approximate solution for a system of equations. It is local in that it considers just as many variables as necessary in order to compute… (More)
We present a new algorithm which computes a partial approximate solution for a system of equations. It is local in that it considers as few variables as necessary in order to compute the values of… (More)
Introduction: Two variables X and Y possibly share in a set ~ of substitutions if there exists a substitution ~ E ~ with vars(XO) N vars(YO) ~ 0. Many static analyses of logic programs heavily rely… (More)
Abstract We present a framework for program analysis of languages with procedures which is general enough to allow for a comparison of various approaches to interprocedural analysis. Our framework is… (More)
We systematically explore the design space of constraint systems for interprocedural analysis both of imperative and logic languages. Our framework is based on a small-step operational semantics… (More)
Object-oriented programming languages where classes are top-level, Le. not first-class citizens, are better suited for compilation than completely dynamic languages Uke SMALLTALK or SELF • 1n… (More)