Differences
This shows you the differences between two versions of the page.
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: |