Changes between Version 2 and Version 3 of The MiniMP Intermediate Representation


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

--

Legend:

Unmodified
Added
Removed
Modified

  • The MiniMP Intermediate Representation

    v2 v3  
    11= The MiniMP Intermediate Representation =
     2== Model ==
     3A model is an abstract representation of a MiniMP program.  It has a name, a set of shared variables, and a sequence of processes.
    24== Processes ==
     5Processes are numbered 0,1,...,n-1, where n is the number of processes.  The number n is fixed when the model is created and can never change.  The unique number associated to a process is known as the process's "pid."
    36== Variables ==
    47 * !BoundVariable