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: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