Changes between Version 56 and Version 57 of WikiStart


Ignore:
Timestamp:
06/23/14 17:15:18 (12 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v56 v57  
    11= CIVL: The Concurrency Intermediate Verification Language =
    22
    3 == The CIVL-C Language ==
    4 
    5 Contents
    6 * [wiki:Arrays]
    7 * [wiki:Pointers]
    8 * [wiki:MessagePassing]
    9 * [wiki:OmnibusChanges]
    10 * [wiki:LanguageSubset]
    11 * [wiki:Examples]
    12 * [wiki:ConcurrencyExtensions] (including ranges, domains, `$for`, `$parfor`)
    13 
    14 === Thoughts about the CIVL-C language ===
    15 
    16 * It might be nice to introduce some convenience constructs that are syntactic sugar for commonly occurring patterns.  For example, something like "$proc p = $run stmt" which is short for declaring a temporary procedure with body stmt and spawning that procedure.  Also, something like "$waitall($proc procs[], int numProcs);" (that one can be defined as a library function).
    17 
    18 == Meetings ==
    19 
    20 * [wiki:CIVLmeeting2013]
    21 
    22 == Tool Development==
     3== Tool Development ==
    234
    245- Performance
     
    4223   * [wiki:TraceViewer]
    4324
     25== Notes on the CIVL-C Language ==
     26
     27Contents
     28* [wiki:Arrays]
     29* [wiki:Pointers]
     30* [wiki:MessagePassing]
     31* [wiki:OmnibusChanges]
     32* [wiki:Examples]
     33
     34
     35== Meetings ==
     36
     37* [wiki:CIVLmeeting2013]
     38
     39
    4440== Release ==
    4541