Changeset 1772


Ignore:
Timestamp:
Feb 27, 2012, 3:46:05 PM (8 years ago)
Author:
mulligan
Message:

...

File:
1 edited

Legend:

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

    r1771 r1772  
    527527\begin{displaymath}
    528528\begin{array}{rcl}
    529 \mathtt{Call(M(args), dst)}                        & \longrightarrow & \mathtt{SP = alloc}, regs = \emptyset[- := params] \\
    530 \mathtt{PUSH(current\_frame[PC := after\_return])} &                 & \mathtt{State}(regs,\ sp,\ pc_\emptyset,\ dst)
     529\mathtt{Call(M(args), dst)}                        & \longrightarrow & \mathtt{SP = alloc,\ regs = \emptyset[- := params]} \\
     530\mathtt{PUSH(current\_frame[PC := after\_return])} &                 & \mathtt{State(regs,\ sp,\ pc_\emptyset,\ dst)}
    531531\end{array}
    532532\end{displaymath}
     
    536536\begin{displaymath}
    537537\begin{array}{rcl}
    538 \mathtt{sp = alloc}, regs = \emptyset[- := PARAMS] & \longrightarrow & \mathtt{free(sp)} \\
    539 \mathtt{State}(regs,\ sp,\ pc_\emptyset,\ dst)     &                 & \mathtt{Return(M(ret\_val), dst, Frames)}
     538\mathtt{sp = alloc,\ regs = \emptyset[- := PARAMS]} & \longrightarrow & \mathtt{free(sp)} \\
     539\mathtt{State(regs,\ sp,\ pc_\emptyset,\ dst)}     &                 & \mathtt{Return(M(ret\_val), dst, Frames)}
    540540\end{array}
    541541\end{displaymath}
Note: See TracChangeset for help on using the changeset viewer.