Changeset 1449
 Timestamp:
 Oct 21, 2011, 6:45:03 PM (10 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D4.24.3/reports/D43.tex
r1446 r1449 585 585 \begin{table} 586 586 \begin{threeparttable} 587 \begin{tabular}{ll ll}588 Title & Description & O'Caml& Ratio \\589 \hline 590 \texttt{joint/Joint.ma} & Abstracted syntax for backend languages& N/A & N/A \\591 \texttt{RTLabs/syntax.ma} & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli}& 0.65 \\592 \texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 1.85\tnote{b} \\593 \texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 1.04\tnote{b} \\594 \texttt{LIN/joint\_LTL\_LIN.ma} & The syntax of the abstracted combined LTL and LIN language& N/A & N/A \\595 \texttt{LTL/LTL.ma} & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 1.86\tnote{a} \\596 \texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 2.27\tnote{a} 587 \begin{tabular}{llrlrl} 588 Description & Matita & Lines & O'Caml & Lines & Ratio \\ 589 \hline 590 Abstracted syntax for backend languages & \texttt{joint/Joint.ma} & 173 & N/A & N/A & N/A \\ 591 The syntax of RTLabs & \texttt{RTLabs/syntax.ma} & 73 & \texttt{RTLabs/RTLabs.mli} & 113 & 0.65 \\ 592 The syntax of RTL & \texttt{RTL/RTL.ma} & 49 & \texttt{RTL/RTL.mli} & 120 & 1.85\tnote{a} \\ 593 The syntax of ERTL & \texttt{ERTL/ERTL.ma} & 25 & \texttt{ERTL/ERTL.mli} & 191 & 1.04\tnote{a} \\ 594 The syntax of the abstracted combined LTL and LIN language & \texttt{LIN/joint\_LTL\_LIN.ma} & 10 & N/A & N/A & N/A \\ 595 The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.ma} & 10 & \texttt{LTL/LTL.mli} & 104 & 1.86\tnote{b} \\ 596 The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.ma} & 17 & \texttt{LIN/LIN.mli} & 88 & 2.27\tnote{b} \\ 597 597 \end{tabular} 598 598 \begin{tablenotes} 599 \item[a] Includes \texttt{joint/Joint\_LTL\_LIN.ma} and \texttt{joint/Joint.ma}. 600 \item[b] Includes \texttt{joint/Joint.ma}. \\ 601 Total lines of Matita code for the above files: 347. \\ 602 Total lines of O'Caml code for the above files: 616. \\ 603 Ration of total lines: 0.56. 599 \item[a] After inlining of \texttt{joint/Joint.ma}. 600 \item[b] After inlining of \texttt{joint/Joint\_LTL\_LIN.ma} and \texttt{joint/Joint.ma}.\\ 601 \begin{tabular}{ll} 602 Total lines of Matita code for the above files:& 347 \\ 603 Total lines of O'Caml code for the above files:& 616 \\ 604 Ratio of total lines:& 0.56 605 \end{tabular} 606 604 607 \end{tablenotes} 605 608 \end{threeparttable} … … 611 614 \begin{table} 612 615 \begin{threeparttable} 613 \begin{tabular}{ll ll}614 Title & Description & O'Caml& Ratio \\615 \hline 616 \texttt{joint/semantics.ma} & Semantics of the abstracted languages& N/A & N/A \\617 \texttt{joint/SemanticUtils.ma} & Generic utilities used in semantics `joint' languages& N/A & N/A \\618 \texttt{RTLabs/semantics.ma} & Semantics of RTLabs & \texttt{RTLabs/RTLabsInterpret.ml}& 0.63 \\619 \texttt{RTL/semantics.ma} & Semantics of RTL & \texttt{RTL/RTLInterpret.ml}& 1.88\tnote{a} \\620 \texttt{ERTL/semantics.ma} & Semantics of ERTL & \texttt{ERTL/ERTLInterpret.ml}& 1.22\tnote{a} \\621 \texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & Semantics of the joint LTLLIN language& N/A & N/A \\622 \texttt{LTL/semantics.ma} & Semantics of LTL & \texttt{LTL/LTLInterpret.ml} & 1.25\tnote{c} \\623 \texttt{LIN/semantics.ma} & Semantics of LIN & \texttt{LIN/LINInterpret.ml} & 1.52\tnote{c}616 \begin{tabular}{llrlrl} 617 Description & Matita & Lines & O'Caml & Lines & Ratio \\ 618 \hline 619 Semantics of the abstracted languages & \texttt{joint/semantics.ma} & 64 & N/A & N/A & N/A \\ 620 Generic utilities used in semantics `joint' languages & \texttt{joint/SemanticUtils.ma} & 77 & N/A & N/A & N/A \\ 621 Semantics of RTLabs & \texttt{RTLabs/semantics.ma} & 223 & \texttt{RTLabs/RTLabsInterpret.ml} & 355 & 0.63 \\ 622 Semantics of RTL & \texttt{RTL/semantics.ma} & 121 & \texttt{RTL/RTLInterpret.ml} & 324 & 1.88\tnote{a} \\ 623 Semantics of ERTL & \texttt{ERTL/semantics.ma} & 125 & \texttt{ERTL/ERTLInterpret.ml} & 504 & 1.22\tnote{a} \\ 624 Semantics of the joint LTLLIN language & \texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & 64 & N/A & N/A & N/A \\ 625 Semantics of LTL & \texttt{LTL/semantics.ma} & 6 & \texttt{LTL/LTLInterpret.ml} & 416 & 1.25\tnote{b} \\ 626 Semantics of LIN & \texttt{LIN/semantics.ma} & 22 & \texttt{LIN/LINInterpret.ml} & 379 & 1.52\tnote{b} 624 627 \end{tabular} 625 628 \begin{tablenotes} 626 629 \item{a} Includes \texttt{joint/semantics.ma} and \texttt{joint/SemanticUtils.ma}. 627 \item{b} Includes \texttt{joint/joint\_LTL\_LIN\_semantics.ma}. 628 \item{c} Includes \texttt{joint/semantics.ma}, \texttt{joint/SemanticUtils.ma} and \texttt{joint/joint\_LTL\_LIN\_semantics.ma}. \\ 630 \item{b} Includes \texttt{joint/semantics.ma}, \texttt{joint/SemanticUtils.ma} and \texttt{joint/joint\_LTL\_LIN\_semantics.ma}. \\ 629 631 \begin{tabular}{ll} 630 632 Total lines of Matita code for the above files:& 1125 \\
Note: See TracChangeset
for help on using the changeset viewer.