LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sav07_lecture_7_skeleton [2007/04/04 10:59]
vkuncak
sav07_lecture_7_skeleton [2007/04/04 13:08] (current)
vkuncak
Line 78: Line 78:
 Allocation-site based analyses Allocation-site based analyses
  
-===== Interprocedural analysis ===== 
  
-Modular analysis with procedure contracts