Changeset 1418 for Deliverables/D4.2-4.3/reports/D4-2.tex

Timestamp:

Oct 19, 2011, 5:11:14 PM (9 years ago)

Author:

mulligan

Message:

correct ratios for semantics calculated

File:

• Deliverables/D4.2-4.3/reports/D4-2.tex (modified) (1 diff)

Deliverables/D4.2-4.3/reports/D4-2.tex

@@ -469 +469 @@
 
 Translation specific files (files relating to language semantics have been omitted) are presented in Table~\ref{table.syntax}.
-
-% dpm: shouldn't all these also include joint.ma
 \begin{table}
 \begin{threeparttable}
-\begin{tabular}{llll}%{\textwidth}{p{3.5cm}p{5.5cm}p{3.5cm}p{1cm}}
+\begin{tabular}{llll}
 Title & Description & O'Caml & Ratio \\
 \hline
 \texttt{RTLabs/syntax.ma} & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\
-\texttt{joint/Joint.ma} & Joint syntax for backend languages & N/A & N/A \\
-\texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 0.41 \\
-\texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 0.13 \\
-\texttt{joint/joint_LTL_LIN.ma} & The abstracted joint syntax of the LTL and LIN languages & N/A & N/A \\
-\texttt{LTL/LTL.ma} & The syntax of LTL & \texttt{LTL/LTL.mli} & 0.19\tnote{a} \\
-\texttt{LIN/LIN.ma} & The syntax of LIN & \texttt{LIN/LIN.mli} & 0.31\tnote{a}
+\texttt{joint/Joint.ma} & Abstracted syntax for backend languages & N/A & N/A \\
+\texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 1.85\tnote{b} \\
+\texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 1.04\tnote{b} \\
+\texttt{LIN/joint\_LTL\_LIN.ma} & The syntax of the abstracted combined LTL and LIN language & N/A & N/A \\
+\texttt{LTL/LTL.ma} & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 1.86\tnote{a} \\
+\texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 2.27\tnote{a} \\
 \end{tabular}
 \begin{tablenotes}
-  \item[a] Includes \texttt{joint/Joint\_LTL\_LIN.ma}.
+  \item[a] Includes \texttt{joint/Joint\_LTL\_LIN.ma} and \texttt{joint/Joint.ma}.
+  \item[b] Includes \texttt{joint/Joint.ma}.
 \end{tablenotes}
 \end{threeparttable}