LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
sav07_lecture_22 [2007/06/14 22:50]
simon.blanchoud
sav07_lecture_22 [2007/06/14 22:50]
simon.blanchoud
Line 190: Line 190:
  
 Not seen in class, have a look at the papers ! 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 !