Changeset 1418 for Deliverables/D4.2-4.3
- Timestamp:
- Oct 19, 2011, 5:11:14 PM (9 years ago)
- 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 469 469 470 470 Translation 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.ma473 471 \begin{table} 474 472 \begin{threeparttable} 475 \begin{tabular}{llll} %{\textwidth}{p{3.5cm}p{5.5cm}p{3.5cm}p{1cm}}473 \begin{tabular}{llll} 476 474 Title & Description & O'Caml & Ratio \\ 477 475 \hline 478 476 \texttt{RTLabs/syntax.ma} & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\ 479 \texttt{joint/Joint.ma} & Jointsyntax 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 s yntax of LTL & \texttt{LTL/LTL.mli} & 0.19\tnote{a} \\484 \texttt{LIN/LIN.ma} & The s yntax 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} \\ 485 483 \end{tabular} 486 484 \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}. 488 487 \end{tablenotes} 489 488 \end{threeparttable} -
Deliverables/D4.2-4.3/reports/D4-3.tex
r1414 r1418 542 542 Semantics specific files (files relating to language translations ommitted). 543 543 Syntax specific files are presented in Table~\ref{table.syntax}. 544 545 % dpm: shouldn't all these also include joint.ma546 544 \begin{landscape} 547 545 \begin{table} … … 552 550 \texttt{RTLabs/syntax.ma} & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\ 553 551 \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} \\ 556 554 \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} 559 557 \end{tabular} 560 558 \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}. 562 561 \end{tablenotes} 563 562 \end{threeparttable} … … 577 576 Title & Description & O'Caml & Ratio \\ 578 577 \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' intermediatelanguages & 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} 587 586 \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} 590 591 \end{threeparttable} 591 592 \caption{Semantics specific files in the intermediate language semantics}
Note: See TracChangeset
for help on using the changeset viewer.