Changeset 973 for src/ASM/CPP2011


Ignore:
Timestamp:
Jun 16, 2011, 10:05:46 AM (9 years ago)
Author:
mulligan
Message:

work from yesterday that could not be committed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2011/cpp-2011.tex

    r970 r973  
    298298This is done with the following function:
    299299\begin{lstlisting}
    300 definition next_internal_pseudo_address_map0:
     300definition next_internal_pseudo_address_map:
    301301 internal_pseudo_address_map $\rightarrow$ PseudoStatus $\rightarrow$ option internal_pseudo_address_map
    302302\end{lstlisting}
     
    313313\end{lstlisting}
    314314The statement can be given an intuitive reading as follows.
    315 
     315Suppose our \texttt{PseudoStatus} $ps$ can be successfully converted into a \texttt{Status} $s$.
     316Suppose further that, after executing a single assembly instruction and converting the resulting \texttt{PseudoStatus} into a \texttt{Status}, we obtain $s''$, being careful to track the number of ticks executed.
     317Then, there exists some number $n$, so that executing $n$ machine code instructions in \texttt{Status} $s$ gives us \texttt{Status} $s''$.
    316318
    317319% ---------------------------------------------------------------------------- %
Note: See TracChangeset for help on using the changeset viewer.