Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
sav07_lecture_24 [2007/07/01 18:37] kremena.diatchka |
sav07_lecture_24 [2008/05/21 10:48] vkuncak |
||
|---|---|---|---|
| Line 243: | Line 243: | ||
| **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 565: | Line 562: | ||
| * [[http://www.brics.dk/~mis/static.pdf|Lecture notes on static analysis by Michael Schwartzbach]] | * [[http://www.brics.dk/~mis/static.pdf|Lecture notes on static analysis by Michael Schwartzbach]] | ||
| - | **NOTE:** Very relevant [[http://tresor.epfl.ch/dokuwiki/Seminars|talk by Hai Huu Nguyen]] (time TBD) | + | |