Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:lecture13 [2008/04/09 10:54]
vkuncak
sav08:lecture13 [2008/04/09 18:58] (current)
vkuncak
Line 29: Line 29:
 [[Proving Programs with Dynamic Allocation]] [[Proving Programs with Dynamic Allocation]]
  
-===== Procedure Calls =====+===== Procedures ​=====
  
 [[Language with Specified Procedures]] [[Language with Specified Procedures]]
  
 [[Relational Semantics of Procedures]] [[Relational Semantics of Procedures]]
- 
-[[Assume Guarantee Reasoning with Procedures]] 
- 
-[[Correctness of A/G Reasoning]] 
- 
-[[Frame Conditions]] 
- 
-[[Simple Module Invariants]] 
  
 
sav08/lecture13.txt · Last modified: 2008/04/09 18:58 by vkuncak
 
© EPFL 2018 - Legal notice