Changeset 2629 for Papers/itp-2013


Ignore:
Timestamp:
Feb 6, 2013, 10:19:30 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/itp-2013/ccexec.tex

    r2628 r2629  
    10371037\begin{enumerate}
    10381038 \item if $b$ (the trace ends with a return) then there exists $s_{2_m},s_2'$
    1039    and a $\texttt{trace\_any\_label}~b~s_2~s_{2_m}$ called $tal_2$ and a
     1039   and a trace $\texttt{trace\_any\_label}~b~s_2~s_{2_m}$ called $tal_2$ and a
    10401040   $\texttt{trace\_any\_any\_free}~s_{2_m}~s_2'$ called $taa_2$ s.t.
    10411041   $s_1' (\mathcal{S} \cap \mathcal{L}) s_2'$ and
Note: See TracChangeset for help on using the changeset viewer.