Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:relational_semantics_of_procedures [2009/05/26 17:59] vkuncak |
sav08:relational_semantics_of_procedures [2009/05/26 20:35] vkuncak |
||
---|---|---|---|
Line 10: | Line 10: | ||
How can we define semantics for program with recursive procedures? | How can we define semantics for program with recursive procedures? | ||
+ | |||
+ | We consider first the case of procedures without parameters; adding parameters is straightforward. | ||
===== One Recursive Procedure ===== | ===== One Recursive Procedure ===== |