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_21 [2009/05/27 10:21] vkuncak |
sav07_lecture_21 [2009/05/27 10:21] vkuncak |
||
|---|---|---|---|
| Line 20: | Line 20: | ||
| * [[http://www.cis.upenn.edu/~alur/Stoc04.pdf|Visibly pushdown languages]] | * [[http://www.cis.upenn.edu/~alur/Stoc04.pdf|Visibly pushdown languages]] | ||
| - | === Two basic methods for inferring contracts === | + | === Two basic methods for inferring contracts using Abstract Interpretation === |
| * approximate the set of (stack, state) pairs - based on small step semantics | * approximate the set of (stack, state) pairs - based on small step semantics | ||