Changeset 413


Ignore:
Timestamp:
Dec 13, 2010, 5:52:19 PM (9 years ago)
Author:
campbell
Message:

Add example of executing C semantics.

Location:
Deliverables/D3.1/Report
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/Report/report.tex

    r412 r413  
    883883\end{lstlisting}
    884884We can use the definitions in the \texttt{Animation.ma} file to reduce
    885 the term for a given input (5, in this case):
     885the term for a given input (5, in this case; executing a maximum of 40 steps):
    886886\begin{lstlisting}
    887887nremark exec: result ? (exec_up_to myprog 40 [EVint (repr 5)]).
     
    972972CexecComplete.ma &  Completeness of individual steps \\
    973973CexecEquiv.ma &  Equivalence of whole program executions \\
     974Animation.ma &  Definitions to help test the semantics
    974975\end{tabular}
    975976\end{quote}
Note: See TracChangeset for help on using the changeset viewer.