Changes between Version 39 and Version 40 of IR

Timestamp:

11/23/15 17:23:16 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -198 +198 @@
 * `e1?e2:e3`
 * `e1<e2`, `e1<=e2`
-* `e0(e1,...,en)` : pure function call?
+* `e0(e1,...,en)` : a function call where `e` must evaluate to an abstract or pure system function
 * `$forall`, `$exists` : **FILL IN**
 * `e1.i`, some natural number i (tuple read)
@@ -298 +298 @@
 }}}
 
-== Program Graph ==
-
-== Model ==
+== Function definition ==
+
+== Program ==
+
+A program consists of a sequence of global variable declarations, which may include declarations annotated by `$input` and `$output`,
+followed by a sequence of function declarations and definitions.
 
 == Semantics ==
@@ -320 +323 @@
 
 == Libraries ==
+