Changeset 541


Ignore:
Timestamp:
Feb 16, 2011, 5:23:52 PM (6 years ago)
Author:
mulligan
Message:

Added more to appendix

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r540 r541  
    663663\CSC{Tell what is NOT formalized/formalizable: the HEX parser/pretty printer
    664664 and/or the I/O procedure}
    665 \CSC{Appendix with main functions interfaces?}
    666665\CSC{Decode: two implementations}
    667666\CSC{Discuss over-specification}
     
    776775\end{center}
    777776
     777\subsubsection{From \texttt{ASMCosts.ml(i)}}
     778
     779\begin{center}
     780\begin{tabular*}{\textwidth}{p{3cm}@{\quad}p{9cm}}
     781Name & Description \\
     782\hline
     783\texttt{compute} & Computes a map associating costings to basic blocks in the program.
     784\end{tabular*}
     785\end{center}
     786
    778787\subsubsection{From \texttt{IntelHex.ml(i)}}
    779788
Note: See TracChangeset for help on using the changeset viewer.