Changes between Version 17 and Version 18 of IR


Ignore:
Timestamp:
11/22/15 09:00:06 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v17 v18  
    11
    2 The CIVL-IR.  Also known as "CIVL model".
     2The CIVL-IR language.  A program in this language is also known as a "CIVL model".
    33
    4 Properties of language:
     4Properties of the language:
    55
    66* the language (and grammar) are subsets of CIVL-C
    7 * a CIVL-IR programs represents a guarded-transition system explicitly
     7* a CIVL-IR program represents a guarded-transition system explicitly
    88* as in CIVL-C, there are functions, scopes, and functions can be defined in any scope
    99* all blocks (including a function body) consist of the following elements, in order: