Showing 2013Show all
2 papers · 1 filter
cs.PL2013
A Simple Algorithm for Global Value Numbering
Nabizath Saleena, Vineeth Paleri
Global Value Numbering(GVN) is a method for detecting redundant computations in programs. Here, we introduce the problem of Global Value Numbering in its original form, as conceive…
cs.PL2013
A Note on "A polynomial-time algorithm for global value numbering"
Saleena Nabeezath, Vineeth Paleri
Global Value Numbering(GVN) is a popular method for detecting redundant computations. A polynomial time algorithm for GVN is presented by Gulwani and Necula(2006). Here we present…