Ignore:
Timestamp:
Oct 19, 2011, 5:11:14 PM (9 years ago)
Author:
mulligan
Message:

correct ratios for semantics calculated

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.2-4.3/reports/D4-2.tex

    r1414 r1418  
    469469
    470470Translation specific files (files relating to language semantics have been omitted) are presented in Table~\ref{table.syntax}.
    471 
    472 % dpm: shouldn't all these also include joint.ma
    473471\begin{table}
    474472\begin{threeparttable}
    475 \begin{tabular}{llll}%{\textwidth}{p{3.5cm}p{5.5cm}p{3.5cm}p{1cm}}
     473\begin{tabular}{llll}
    476474Title & Description & O'Caml & Ratio \\
    477475\hline
    478476\texttt{RTLabs/syntax.ma} & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\
    479 \texttt{joint/Joint.ma} & Joint syntax for backend languages & N/A & N/A \\
    480 \texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 0.41 \\
    481 \texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 0.13 \\
    482 \texttt{joint/joint_LTL_LIN.ma} & The abstracted joint syntax of the LTL and LIN languages & N/A & N/A \\
    483 \texttt{LTL/LTL.ma} & The syntax of LTL & \texttt{LTL/LTL.mli} & 0.19\tnote{a} \\
    484 \texttt{LIN/LIN.ma} & The syntax of LIN & \texttt{LIN/LIN.mli} & 0.31\tnote{a}
     477\texttt{joint/Joint.ma} & Abstracted syntax for backend languages & N/A & N/A \\
     478\texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 1.85\tnote{b} \\
     479\texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 1.04\tnote{b} \\
     480\texttt{LIN/joint\_LTL\_LIN.ma} & The syntax of the abstracted combined LTL and LIN language & N/A & N/A \\
     481\texttt{LTL/LTL.ma} & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 1.86\tnote{a} \\
     482\texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 2.27\tnote{a} \\
    485483\end{tabular}
    486484\begin{tablenotes}
    487   \item[a] Includes \texttt{joint/Joint\_LTL\_LIN.ma}.
     485  \item[a] Includes \texttt{joint/Joint\_LTL\_LIN.ma} and \texttt{joint/Joint.ma}.
     486  \item[b] Includes \texttt{joint/Joint.ma}.
    488487\end{tablenotes}
    489488\end{threeparttable}
Note: See TracChangeset for help on using the changeset viewer.