Changes between Version 13 and Version 14 of IR

Timestamp:

11/21/15 23:43:42 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -4 +4 @@
 Grammar:
 
-* a subset of CIVL-C, explicit guarded-trasition systems
+* a subset of CIVL-C, explicit guarded-transition systems
 * functions, scopes, functions defined in any scope
 * all blocks start with variable declarations; no initializers
@@ -71 +71 @@
 What are two types compatible?
 
-== Values ==
-
-
 
 == Expressions ==
 
 * literals
- * $true, $false (values of type `$bool`)
- * 123, -123, 3.1415, etc. (values of type `$integer`, `$int`, `$real`, `$float`)
+ * `$true`, `$false` : values of type `$bool`
+ * 123, -123, 3.1415, etc. : values of type `$integer`, `$int`, `$real`, `$float`
   * what particular notations for floating values?
  * 'a', 'b', ... UNICODE?
- * `(T[]){e0, e1, ...}` : value of type `T[]`
- * (S){e0, ...}` : value of type `S` (struct literal)
+ * `(T[]){e0, e1, ...}` : values of type `T[]`
+ * `(S){e0, ...}` : values of type `S` (struct literal)
  * `e1..e2`, `e1..e2#e3` : values of type `$range`
  * `($domain){r1,...,rn}` : value of type `$domain(n)`
- * "abc" : string literals: value of type `$char[]`
+ * `"abc"` : string literals: value of type `$char[]`
  * `$root`, `$here` : values of type `$scope`
  * `$self`, `$proc_null` : values of type `$proc`
@@ -149 +146 @@
 == Model ==
 
+== Semantics ==
+
+
+=== Values ===
+
+=== Transitions ===
+
+
 
 == Libraries ==