| 
|
Quote: a complete, polynomial-time randomized algorithm for global value numbering to detect equivalent expressions
Topic:
code optimization by global analysis
Topic:
probabilistic and randomized algorithms
Topic:
symbolic execution
Topic:
interpreter
Quotation Skeleton
We present a polynomial time randomized algorithm for … [to detect equivalent expressions]. Our algorithm is complete when conditionals are treated as non-deterministic … deterministic algorithm for the same problem. … [It] is simpler to implement than the deterministic … We prove that [the probability of false equivalence] can be made arbitrarily … Our algorithm is based on the idea of … relationships from the computed values. The computations are … conditional are executed. At join points, the program … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: random interpretation assigns random linear interpretations to operators and executes with random inputs; combines program states with a random affine combination
Topic: code optimization by global analysis (24 items)
Topic: probabilistic and randomized algorithms (11 items)
Topic: symbolic execution (9 items)
Topic: interpreter (59 items)