Global value numbering using random interpretation

DOI10.1145/964001.964030MaRDI QIDQ3452272zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(3)

• Static Analysis
• Precise interprocedural analysis using random interpretation
• 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)