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:language_with_specified_procedures [2008/04/09 10:19]
sav08:language_with_specified_procedures [2009/05/26 12:42] (current)
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