Changes between Initial Version and Version 1 of The MiniMP Intermediate Representation


Ignore:
Timestamp:
01/08/10 14:29:58 (16 years ago)
Author:
zirkel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • The MiniMP Intermediate Representation

    v1 v1  
     1= The MiniMP Intermediate Representation =
     2== Processes ==
     3== Variables ==
     4 * BoundVariable
     5 * FormalVariable
     6 * LocalVariable
     7 * ProcessVariable
     8 * SharedVariable
     9== Types ==
     10 * ArrayType
     11 * FunctionType
     12 * PointerType
     13 * RecordType
     14== Expressions ==
     15 * PlusExpression
     16 * TimesExpression
     17 * DivideExpression
     18 * AddressOfExpression
     19 * LHSExpression
     20   * DereferenceExpression
     21   * RecordNavigationExpression
     22 * ExistsExpression
     23 * ForallExpression
     24 * IfThenElseExpression
     25 * LiteralExpression
     26 * NotEmptyExpression
     27 * NotFullExpression
     28 * QuantifierExpression
     29 * VariableExpression
     30== Statements ==
     31 * AllocateStatement
     32 * AssertionStatement
     33 * AssignmentStatement
     34 * AssumeStatement
     35 * DeallocateStatement
     36 * InvocationStatement
     37 * NoopStatement
     38 * ReceiveStatement
     39 * SendStatement
     40== Functions ==