Ignore:
Timestamp:
Oct 21, 2011, 6:45:03 PM (9 years ago)
Author:
mulligan
Message:

finished d4.3

File:
1 edited

Legend:

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

    r1446 r1449  
    585585\begin{table}
    586586\begin{threeparttable}
    587 \begin{tabular}{llll}
    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}
     588Description & Matita & Lines & O'Caml & Lines & Ratio \\
     589\hline
     590Abstracted syntax for backend languages & \texttt{joint/Joint.ma} & 173 & N/A & N/A & N/A \\
     591The syntax of RTLabs & \texttt{RTLabs/syntax.ma} & 73 & \texttt{RTLabs/RTLabs.mli} & 113 & 0.65 \\
     592The syntax of RTL & \texttt{RTL/RTL.ma} & 49 & \texttt{RTL/RTL.mli} & 120 & 1.85\tnote{a} \\
     593The syntax of ERTL & \texttt{ERTL/ERTL.ma} & 25 & \texttt{ERTL/ERTL.mli} & 191 & 1.04\tnote{a} \\
     594The syntax of the abstracted combined LTL and LIN language & \texttt{LIN/joint\_LTL\_LIN.ma} & 10 & N/A & N/A & N/A \\
     595The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.ma} & 10 & \texttt{LTL/LTL.mli} & 104 & 1.86\tnote{b} \\
     596The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.ma} & 17 & \texttt{LIN/LIN.mli} & 88 & 2.27\tnote{b} \\
    597597\end{tabular}
    598598\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
    604607\end{tablenotes}
    605608\end{threeparttable}
     
    611614\begin{table}
    612615\begin{threeparttable}
    613 \begin{tabular}{llll}
    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 LTL-LIN 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}
     617Description & Matita & Lines & O'Caml & Lines & Ratio \\
     618\hline
     619Semantics of the abstracted languages & \texttt{joint/semantics.ma} & 64 & N/A & N/A & N/A  \\
     620Generic utilities used in semantics `joint' languages & \texttt{joint/SemanticUtils.ma} & 77 & N/A & N/A & N/A \\
     621Semantics of RTLabs & \texttt{RTLabs/semantics.ma} & 223 & \texttt{RTLabs/RTLabsInterpret.ml} & 355 & 0.63 \\
     622Semantics of RTL & \texttt{RTL/semantics.ma} & 121 & \texttt{RTL/RTLInterpret.ml} & 324 & 1.88\tnote{a} \\
     623Semantics of ERTL & \texttt{ERTL/semantics.ma} & 125 & \texttt{ERTL/ERTLInterpret.ml} & 504 & 1.22\tnote{a} \\
     624Semantics of the joint LTL-LIN language & \texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & 64 & N/A & N/A & N/A \\
     625Semantics of LTL & \texttt{LTL/semantics.ma} & 6 & \texttt{LTL/LTLInterpret.ml} & 416 & 1.25\tnote{b} \\
     626Semantics of LIN & \texttt{LIN/semantics.ma} & 22 & \texttt{LIN/LINInterpret.ml} & 379 & 1.52\tnote{b}
    624627\end{tabular}
    625628\begin{tablenotes}
    626629  \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}. \\
    629631 \begin{tabular}{ll}
    630632  Total lines of Matita code for the above files:& 1125 \\
Note: See TracChangeset for help on using the changeset viewer.