Changes between Initial Version and Version 1 of ModelBuilder


Ignore:
Timestamp:
12/09/15 09:58:37 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ModelBuilder

    v1 v1  
     1== Model Builder ==
     2This page describes the procedures of building a model.
     3
     4* Input: an AST such that
     5 * all concurrency dialect features are translated using CIVL-C primitives/libraries;
     6 * side effects are only contained by assignment or function call;
     7 * all unused code (statically) is removed;
     8 * the main function doesn't take any parameters.
     9
     10* Output: a CIVL-C model
     11
     12* Algorithm
     13 1. translate AST to CIVL-C model
     14 1.
     15