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:language_with_specified_procedures [2008/04/09 10:19]
vkuncak
sav08:language_with_specified_procedures [2009/05/26 12:42] (current)
vkuncak
Line 3: Line 3:
 Program is a collection of procedures. Program is a collection of procedures.
  
-Global ​and local variables.+Two kinds of variables:​ 
 +  * global variables, visible ​and modifiable by all procedures 
 +  * local variables, for each procedure
  
 New statement: procedure call. New statement: procedure call.
   x = p(x1,​...,​xN)   x = p(x1,​...,​xN)
  
-For each procedure precondition ​and postcondition.+Each procedure ​has its 
 +  * precondition 
 +  * postcondition
  
 Syntax summary: Syntax summary:
 
sav08/language_with_specified_procedures.txt · Last modified: 2009/05/26 12:42 by vkuncak
 
© EPFL 2018 - Legal notice