Changeset 1766 for Deliverables


Ignore:
Timestamp:
Feb 27, 2012, 2:19:08 PM (8 years ago)
Author:
mulligan
Message:

avoid conflicts

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1763 r1766  
    478478\end{figure}
    479479
    480 We outline how states are executed:
     480We now outline how states are executed:
    481481\begin{displaymath}
    482482\begin{array}{rcl}
     
    497497\end{array}
    498498\end{displaymath}
    499 
    500 
    501 then:
    502 
     499That is, the call to the external function enters a return state after first computing the return value by executing the external function on the arguments.
     500Then the return state
    503501\begin{displaymath}
    504502\begin{array}{rcl}
Note: See TracChangeset for help on using the changeset viewer.