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

correct ratios for semantics calculated

Location:
Deliverables/D4.2-4.3/reports
Files:
2 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}
  • Deliverables/D4.2-4.3/reports/D4-3.tex

    r1414 r1418  
    542542Semantics specific files (files relating to language translations ommitted).
    543543Syntax specific files are presented in Table~\ref{table.syntax}.
    544 
    545 % dpm: shouldn't all these also include joint.ma
    546544\begin{landscape}
    547545\begin{table}
     
    552550\texttt{RTLabs/syntax.ma} & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\
    553551\texttt{joint/Joint.ma} & Abstracted syntax for backend languages & N/A & N/A \\
    554 \texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 0.41 \\
    555 \texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 0.13 \\
     552\texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 1.85\tnote{b} \\
     553\texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 1.04\tnote{b} \\
    556554\texttt{LIN/joint\_LTL\_LIN.ma} & The syntax of the abstracted combined LTL and LIN language & N/A & N/A \\
    557 \texttt{LTL/LTL.ma} & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 0.19\tnote{a} \\
    558 \texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 0.31\tnote{a} \\
     555\texttt{LTL/LTL.ma} & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 1.86\tnote{a} \\
     556\texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 2.27\tnote{a}
    559557\end{tabular}
    560558\begin{tablenotes}
    561   \item[a] Includes \texttt{joint/Joint\_LTL\_LIN.ma}.
     559  \item[a] Includes \texttt{joint/Joint\_LTL\_LIN.ma} and \texttt{joint/Joint.ma}.
     560  \item[b] Includes \texttt{joint/Joint.ma}.
    562561\end{tablenotes}
    563562\end{threeparttable}
     
    577576Title & Description & O'Caml & Ratio \\
    578577\hline
    579 \texttt{RTLabs/semantics.ma} & The semantics of RTLabs & & \\
    580 \texttt{joint/semantics.ma} & The semantics of the abstracted backend languages & N/A & N/A  \\
    581 \texttt{joint/SemanticUtils.ma} & Generic utilities used in the semantics of all `joint' intermediate languages & N/A & N/A \\
    582 \texttt{RTL/semantics.ma} & The semantics of RTL & & \\
    583 \texttt{ERTL/semantics.ma} & The semantics of ERTL & & \\
    584 \texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & The semantics of the joint LTL-LIN language & N/A & N/A \\
    585 \texttt{LTL/semantics.ma} & The semantics of LTL & & \\
    586 \texttt{LIN/semantics.ma} & The semantics of LIN & &
     578\texttt{RTLabs/semantics.ma} & Semantics of RTLabs & \texttt{RTLabs/RTLabsInterpret.ml} & 0.63 \\
     579\texttt{joint/semantics.ma} & Semantics of the abstracted languages & N/A & N/A  \\
     580\texttt{joint/SemanticUtils.ma} & Generic utilities used in semantics `joint' languages & N/A & N/A \\
     581\texttt{RTL/semantics.ma} & Semantics of RTL & \texttt{RTL/RTLInterpret.ml} & 1.88\tnote{a} \\
     582\texttt{ERTL/semantics.ma} & Semantics of ERTL & \texttt{ERTL/ERTLInterpret.ml} & 1.22\tnote{a} \\
     583\texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & Semantics of the joint LTL-LIN language & N/A & N/A \\
     584\texttt{LTL/semantics.ma} & Semantics of LTL & \texttt{LTL/LTLInterpret.ml} & 1.25\tnote{a}\tnote{b} \\
     585\texttt{LIN/semantics.ma} & Semantics of LIN & \texttt{LIN/LINInterpret.ml} & 1.52\tnote{a}\tnote{b}
    587586\end{tabular}
    588 % \begin{tablenotes}
    589 % \end{tablenotes}
     587\begin{tablenotes}
     588  \item{a} Includes \texttt{joint/semantics.ma} and \texttt{joint/SemanticUtils.ma}.
     589  \item{b} Includes \texttt{joint/joint\_LTL\_LIN\_semantics.ma}.
     590\end{tablenotes}
    590591\end{threeparttable}
    591592\caption{Semantics specific files in the intermediate language semantics}
Note: See TracChangeset for help on using the changeset viewer.