Global value numbering using random interpretation

DOI10.1145/964001.964030zbMATH Open1325.68065OpenAlexW2007455965MaRDI QIDQ3452272FDOQ3452272

Authors: Sumit Gulwani, George C. Necula 

Publication date: 11 November 2015

Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/964001.964030

Recommendations

• A polynomial-time algorithm for global value numbering
• Static Analysis
• Precise interprocedural analysis using random interpretation
• Discovering affine equalities using random interpretation
• scientific article; zbMATH DE number 1487856

zbMATH Keywords

randomized algorithmglobal value numberingHerbrand equivalencesuninterpreted functionsrandom interpretation

Mathematics Subject Classification ID

Randomized algorithms (68W20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (2)

• Static Analysis
• A polynomial-time algorithm for global value numbering

This page was built for publication: Global value numbering using random interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452272)