Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

A Note on "A polynomial-time algorithm f...

Nabeezath, Saleena...

Free

Share this content

A Note on "A polynomial-time algorithm for global value numbering" by Nabeezath, Saleena ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	22-08-2023
Summary	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 two limitations of this GVN algorithm due to which detection of certain kinds of redundancies can not be done using this algorithm. The first one is concerning the use of this algorithm in detecting some instances of the classical global common subexpressions, and the second is concerning its use in the detection of some redundancies that a local value numbering algorithm will detect. We suggest improvements that enable the algorithm to detect these kinds of redundancies as well.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1302.6325

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Nabeezath, Saleena. A Note on "A polynomial-time algorithm for global value numbering". Australian National University. August 22, 2023. Accessed August 11, 2025. https://online.provdatabase.com/cite/20613

APA 7th EditionReferences

Nabeezath, Saleena. (2023). A Note on "A polynomial-time algorithm for global value numbering". Australian National University. https://online.provdatabase.com/cite/20613

Chicago 17th EditionReferences

Nabeezath, Saleena. A Note on "A polynomial-time algorithm for global value numbering". Australian National University. 2023. https://online.provdatabase.com/cite/20613

HarvardReferences

Nabeezath, Saleena. (2023). A Note on "A polynomial-time algorithm for global value numbering". [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/20613. (Accessed 11 August 2025).

Harvard AustraliaReferences

Nabeezath, Saleena, 2023, A Note on "A polynomial-time algorithm for global value numbering", Australian National University, viewed 11 August 2025, <https://online.provdatabase.com/cite/20613>

MLA 9th EditionWorks Cited

Nabeezath, Saleena. A Note on "A polynomial-time algorithm for global value numbering". Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/20613.

Share this eBook