Precise interprocedural analysis using random interpretation

DOI10.1145/1040305.1040332zbMath1369.68139OpenAlexW2162091689MaRDI QIDQ5276156

George C. Necula, Sumit Gulwani

Publication date: 14 July 2017

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.8102

zbMATH Keywords

randomized algorithminterprocedural analysisuninterpreted functionslinear relationshipsrandom interpretationinterprocedural value numbering

Mathematics Subject Classification ID

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

Related Items (3)

Discovering invariants via simple component analysis ⋮ Generating all polynomial invariants in simple loops ⋮ Program Analysis Using Weighted Pushdown Systems

This page was built for publication: Precise interprocedural analysis using random interpretation