Lab for Automated Reasoning and Analysis LARA


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]
sav08:lecture25 [2008/05/26 15:07] (current)
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