Results 1  10
of
31
Uselessvariable elimination
 In proceedings of Workshop on Static Analysis of Equational, Functional and Logic Programs, Université Bordeaux I, LaBRI
, 1990
"... happen. Most of the promised items have been covered in other papers (“The Semantics of Scheme ControlFlow Analysis ” and “DataFlow Analysis and Type Recovery in Scheme”). Uselessvariable elimination, however, is still described only in the T source code of my analysis system. I am writing this i ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
happen. Most of the promised items have been covered in other papers (“The Semantics of Scheme ControlFlow Analysis ” and “DataFlow Analysis and Type Recovery in Scheme”). Uselessvariable elimination, however, is still described only in the T source code of my analysis system. I am writing
Uselessvariable elimination
 In proceedings of Workshop on Static Analysis of Equational, Functional and Logic Programs, Université Bordeaux I, LaBRI
, 1990
"... sed in the loop. UVE is often useful to clean up after applying other code transformations, such as copy propagation or inductionvariable elimination. For example, when we introduce a new variable to track an induction function on some basic induction variable, the basic variable frequently become ..."
Abstract
 Add to MetaCart
sed in the loop. UVE is often useful to clean up after applying other code transformations, such as copy propagation or inductionvariable elimination. For example, when we introduce a new variable to track an induction function on some basic induction variable, the basic variable frequently
TypeBased UselessVariable Elimination
, 2000
"... Uselessvariable elimination is a transformation that eliminates variables whose values contribute nothing to the final outcome of a computation. We present a typebased method for uselessvariable elimination and prove its correctness. The algorithm is a surprisingly simple extension of the usual t ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Uselessvariable elimination is a transformation that eliminates variables whose values contribute nothing to the final outcome of a computation. We present a typebased method for uselessvariable elimination and prove its correctness. The algorithm is a surprisingly simple extension of the usual
TypeBased Useless Variable Elimination
, 1999
"... We show a typebased method for useless variable elimination, i.e., transformation that eliminates variables whose values contribute nothing to the final outcome of a computation, and prove its correctness. The algorithm is a surprisingly simple extension of the usual type reconstruction algorithm. ..."
Abstract

Cited by 20 (4 self)
 Add to MetaCart
We show a typebased method for useless variable elimination, i.e., transformation that eliminates variables whose values contribute nothing to the final outcome of a computation, and prove its correctness. The algorithm is a surprisingly simple extension of the usual type reconstruction algorithm
Constraint Systems for Useless Variable Elimination
, 1998
"... A useless variable is one whose value contributes nothing to the final outcome of a computation. Such variables are unlikely to occur in humanproduced code, but may be introduced by various program transformations. We would like to eliminate useless parameters from procedures and eliminate the corr ..."
Abstract

Cited by 23 (1 self)
 Add to MetaCart
A useless variable is one whose value contributes nothing to the final outcome of a computation. Such variables are unlikely to occur in humanproduced code, but may be introduced by various program transformations. We would like to eliminate useless parameters from procedures and eliminate
Research Science Institute 1998, Intel STS 1999 Implementation of Constraint Systems for Useless Variable Elimination
"... Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational outcome of their programs. Eliminating them as a means of higherlevel optimization may increase program execution speed. Th ..."
Abstract
 Add to MetaCart
. This paper explores an implementation of Wand and Siveroni’s algorithm for useless variable elimination. The algorithm is shown to remove superfluous variables that are accessed, updated, and passed between functions, as well as collapselet expressions when all the let expression’s variables are superfluous
ControlFlow Analysis of HigherOrder Languages
, 1991
"... representing the official policies, either expressed or implied, of ONR or the U.S. Government. Keywords: dataflow analysis, Scheme, LISP, ML, CPS, type recovery, higherorder functions, functional programming, optimising compilers, denotational semantics, nonstandard Programs written in powerful, ..."
Abstract

Cited by 365 (10 self)
 Add to MetaCart
at compile time. I give examples of how this information can be used to perform several dataflow analysis optimisations, including copy propagation, inductionvariable elimination, uselessvariable elimination, and type recovery. The analysis is defined in terms of a nonstandard semantic interpretation
paper "DataFlow Analysis and Type Recovery in Scheme." 1 Copy propagation
"... letrec ((lp ( (ans m c) (if (= m 0) (c ans) (lp (* ans m) ( m 1) c))))) (lp 1 n k))) The loop's continuation c is always bound to the procedure's continuation k, and is redundantly passed around the loop until it is invoked on loop termination. Applying copy propagation (and one round ..."
Abstract
 Add to MetaCart
round of uselessvariable elimination to clean up afterwards) removes the iteration variable c entirely: (define (fact n k) (letrec ((lp ( (ans m) (if (= m 0) (k ans) (lp (* ans m) ( m 1)))))) (lp 1 n))) This sort of situation crops up all the time in CPSexpanded loops. The general form
ABSTRACT Removing Useless Variables in Cost Analysis of Java Bytecode
"... Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in order to decide whether to reject mobile code which has too large cost requirements in terms of computing resources (in ti ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
safely identifies costirrelevant variables. The benefits of eliminating useless variables are twofold: (1) cost analysis without useless variables can be more efficient and (2) resulting CESs are more likely to be solvable by existing CASs.
Results 1  10
of
31