# Changeset 1418 for Deliverables

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

correct ratios for semantics calculated

Location:
Deliverables/D4.2-4.3/reports
Files:
2 edited

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

 r1414 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}
• ## Deliverables/D4.2-4.3/reports/D4-3.tex

 r1414 Semantics specific files (files relating to language translations ommitted). Syntax specific files are presented in Table~\ref{table.syntax}. % dpm: shouldn't all these also include joint.ma \begin{landscape} \begin{table} \texttt{RTLabs/syntax.ma} & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\ \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} & 0.41 \\ \texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 0.13 \\ \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} & 0.19\tnote{a} \\ \texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 0.31\tnote{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} Title & Description & O'Caml & Ratio \\ \hline \texttt{RTLabs/semantics.ma} & The semantics of RTLabs & & \\ \texttt{joint/semantics.ma} & The semantics of the abstracted backend languages & N/A & N/A  \\ \texttt{joint/SemanticUtils.ma} & Generic utilities used in the semantics of all joint' intermediate languages & N/A & N/A \\ \texttt{RTL/semantics.ma} & The semantics of RTL & & \\ \texttt{ERTL/semantics.ma} & The semantics of ERTL & & \\ \texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & The semantics of the joint LTL-LIN language & N/A & N/A \\ \texttt{LTL/semantics.ma} & The semantics of LTL & & \\ \texttt{LIN/semantics.ma} & The semantics of LIN & & \texttt{RTLabs/semantics.ma} & Semantics of RTLabs & \texttt{RTLabs/RTLabsInterpret.ml} & 0.63 \\ \texttt{joint/semantics.ma} & Semantics of the abstracted languages & N/A & N/A  \\ \texttt{joint/SemanticUtils.ma} & Generic utilities used in semantics joint' languages & N/A & N/A \\ \texttt{RTL/semantics.ma} & Semantics of RTL & \texttt{RTL/RTLInterpret.ml} & 1.88\tnote{a} \\ \texttt{ERTL/semantics.ma} & Semantics of ERTL & \texttt{ERTL/ERTLInterpret.ml} & 1.22\tnote{a} \\ \texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & Semantics of the joint LTL-LIN language & N/A & N/A \\ \texttt{LTL/semantics.ma} & Semantics of LTL & \texttt{LTL/LTLInterpret.ml} & 1.25\tnote{a}\tnote{b} \\ \texttt{LIN/semantics.ma} & Semantics of LIN & \texttt{LIN/LINInterpret.ml} & 1.52\tnote{a}\tnote{b} \end{tabular} % \begin{tablenotes} % \end{tablenotes} \begin{tablenotes} \item{a} Includes \texttt{joint/semantics.ma} and \texttt{joint/SemanticUtils.ma}. \item{b} Includes \texttt{joint/joint\_LTL\_LIN\_semantics.ma}. \end{tablenotes} \end{threeparttable} \caption{Semantics specific files in the intermediate language semantics}
Note: See TracChangeset for help on using the changeset viewer.