Changes between Version 2 and Version 3 of LanguageSubset

Timestamp:

07/17/13 20:21:52 (13 years ago)

Author:

zirkel

Comment:

--

LanguageSubset

@@ -21 +21 @@
 * if-then-else statements : Same syntax as C.
 * while, for loops
+* return statement
 * { <blockItem>* } : A blockItem can be a variable declaration, function definition, or statement.
 * $assert <expr> : Check that <expr> holds.
@@ -66 +67 @@
 
 A program must have a function called main which takes no arguments.  Execution of the program begins in the body of main.
+
+== Example ==
+
+This program calls a function that sums the numbers from 1 to n and checks that the result is equal to the closed form.
+
+{{{
+#include<civlc.h>
+
+$input int n;
+$output int s = 0;
+
+int add(int i) {
+  int sum = 0;
+  for (int i=0; i<n; i++) {
+    sum = sum + i;
+  }
+  return sum;
+}
+
+void main() {
+  $assume n>0;
+  s = add(n);
+  $assert s == (n*(n+1))/2;
+}
+}}}