Changes between Version 75 and Version 76 of IR

Timestamp:

11/27/15 21:10:45 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -1 +1 @@
 
 The CIVL-IR language.  A program in this language is also known as a "CIVL model".
+
+Questions:
+* fix notation for contracts
+* can labels, whens, chooses be optional?
+* quotes around variables in declarations?
+* quotes around function names in definitions, prototypes?
+* is there ever a need for a function prototype?  Could variable decl notation be used instead?
+
+
 
 Properties of the language:
@@ -144 +153 @@
 L5:
 }}}
+
+Example of self-referential data definition, a linked list:
+{{{
+typedef Node=Tuple[<Integer,Pointer[Node]>];
+}}}
+