• English only

# Differences

This shows you the differences between two versions of the page.

 sav08:pointer_analyses [2008/05/21 10:57]vkuncak created sav08:pointer_analyses [2008/05/21 10:58] (current)vkuncak 2008/05/21 10:58 vkuncak 2008/05/21 10:57 vkuncak created 2008/05/21 10:58 vkuncak 2008/05/21 10:57 vkuncak created Line 53: Line 53: **References** **References** * [[ftp://​ftp.research.microsoft.com/​users/​rusa/​popl96.ps|Points-to Analysis in Almost Linear Time]] * [[ftp://​ftp.research.microsoft.com/​users/​rusa/​popl96.ps|Points-to Analysis in Almost Linear Time]] + ===== Andersen'​s analysis ===== ===== Andersen'​s analysis ===== Line 60: Line 61: Context is program specialization:​ given program \$P(x,y)\$ and a known input \$k\$, generate a specialized,​ more efficient, program \$P_k(y)\$ such that \$P_k(y) = P(k,y)\$. Context is program specialization:​ given program \$P(x,y)\$ and a known input \$k\$, generate a specialized,​ more efficient, program \$P_k(y)\$ such that \$P_k(y) = P(k,y)\$. - Run-time specialization: convert \$P(x,y)\$ into program that takes \$x\$, then produces \$P_k(y)\$. \$k\$ is determined at run-time, and you can create the copy of \$P_k(y)\$ you need. + Used in run-time specialization. Needed a series of analyses, but most known for its pointer analysis. Needed a series of analyses, but most known for its pointer analysis.