Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
sav07_lecture_22 [2007/06/14 22:49] simon.blanchoud |
sav07_lecture_22 [2007/06/14 22:50] simon.blanchoud |
||
---|---|---|---|
Line 185: | Line 185: | ||
[[S_1]] & otherwise \\ | [[S_1]] & otherwise \\ | ||
\end{array} \right \} \subseteq S_2 \end{displaymath} | \end{array} \right \} \subseteq S_2 \end{displaymath} | ||
+ | |||
===== Shape analysis of algebraic data types ===== | ===== Shape analysis of algebraic data types ===== | ||
+ | |||
+ | Not seen in class, have a look at the papers ! | ||
+ | |||
===== Using unary functions for interprocedural analysis ===== | ===== Using unary functions for interprocedural analysis ===== | ||
- | ===== Solving set constraints ===== | + | Not seen in class, have a look at the papers ! |
+ | ===== Solving set constraints ===== | ||
+ | |||
+ | Not seen in class, have a look at the papers ! | ||