Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:pointer_analyses [2008/05/21 10:57]
vkuncak created
sav08:pointer_analyses [2008/05/21 10:58] (current)
vkuncak
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.
 
sav08/pointer_analyses.txt · Last modified: 2008/05/21 10:58 by vkuncak
 
© EPFL 2018 - Legal notice