Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sav08:lecture25 [2008/05/26 15:07]
vkuncak
sav08:lecture25 [2008/05/26 15:07] (current)
vkuncak
Line 42: Line 42:
  
 [[Symbolic Shape Analysis]] [[Symbolic Shape Analysis]]
 +
  
 ===== Interprocedural Analysis ===== ===== Interprocedural Analysis =====
Line 53: Line 54:
 Synthesizing Contracts Synthesizing Contracts
  
-Using Set Constraints with Projections+Using Set Constraints with Projections ​to Eliminate False Paths
  
 Control-Flow Analysis and Dynamic Dispatch Control-Flow Analysis and Dynamic Dispatch
 
sav08/lecture25.txt · Last modified: 2008/05/26 15:07 by vkuncak
 
© EPFL 2018 - Legal notice