Ignore:
Timestamp:
Oct 19, 2011, 11:30:43 AM (9 years ago)
Author:
mulligan
Message:

added more to appendix discussing code

File:
1 edited

Legend:

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

    r1407 r1409  
    503503\label{subsect.listing.files}
    504504
    505 Semantics specific files (files relating to language translations ommitted):
    506 \begin{center}
    507 \begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
     505Semantics specific files (files relating to language translations ommitted).
     506Syntax specific files:
     507\begin{center}
     508\begin{tabular*}{\textwidth}{p{5.5cm}p{9.5cm}}
    508509Title & Description \\
    509510\hline
    510511\texttt{RTLabs/syntax.ma} & The syntax of RTLabs \\
     512\texttt{joint/Joint.ma} & Abstracted syntax for backend languages \\
     513\texttt{RTL/RTL.ma} & The syntax of RTL \\
     514\texttt{ERTL/ERTL.ma} & The syntax of ERTL \\
     515\texttt{LIN/joint\_LTL\_LIN.ma} & The syntax of the abstracted combined LTL and LIN language \\
     516\texttt{LTL/LTL.ma} & The specialisation of the above file to the syntax of LTL \\
     517\texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN \\
     518\end{tabular*}
     519\end{center}
     520
     521\noindent
     522Semantics specific files:
     523\begin{center}
     524\begin{tabular*}{\textwidth}{p{5.5cm}p{9.5cm}}
     525Title & Description \\
     526\hline
    511527\texttt{RTLabs/semantics.ma} & The semantics of RTLabs \\
    512 \texttt{joint/Joint.ma} & Abstracted syntax for backend languages \\
     528\texttt{joint/semantics.ma} & The semantics of the abstracted backend languages. \\
    513529\texttt{joint/SemanticUtils.ma} & Generic utilities used in the semantics of all `joint' intermediate languages \\
    514 \texttt{RTL/RTL.ma} & The syntax of RTL \\
    515530\texttt{RTL/semantics.ma} & The semantics of RTL \\
    516 \texttt{ERTL/ERTL.ma} & The syntax of ERTL \\
    517531\texttt{ERTL/semantics.ma} & The semantics of ERTL \\
    518 \texttt{LTL/LTL.ma} & The syntax of LTL \\
     532\texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & The semantics of the joint LTL-LIN language \\
    519533\texttt{LTL/semantics.ma} & The semantics of LTL \\
    520 \texttt{LIN/LIN.ma} & The syntax of LIN \\
    521534\texttt{LIN/semantics.ma} & The semantics of LIN
    522535\end{tabular*}
Note: See TracChangeset for help on using the changeset viewer.