Changeset 1409 for Deliverables/D4.2-4.3

Timestamp:

Oct 19, 2011, 11:30:43 AM (8 years ago)

Author:

mulligan

Message:

added more to appendix discussing code

File:

• Deliverables/D4.2-4.3/reports/D4-3.tex (modified) (1 diff)

Deliverables/D4.2-4.3/reports/D4-3.tex

@@ -503 +503 @@
 \label{subsect.listing.files}
 
-Semantics specific files (files relating to language translations ommitted):
-\begin{center}
-\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
+Semantics specific files (files relating to language translations ommitted).
+Syntax specific files:
+\begin{center}
+\begin{tabular*}{\textwidth}{p{5.5cm}p{9.5cm}}
 Title & Description \\
 \hline
 \texttt{RTLabs/syntax.ma} & The syntax of RTLabs \\
+\texttt{joint/Joint.ma} & Abstracted syntax for backend languages \\
+\texttt{RTL/RTL.ma} & The syntax of RTL \\
+\texttt{ERTL/ERTL.ma} & The syntax of ERTL \\
+\texttt{LIN/joint\_LTL\_LIN.ma} & The syntax of the abstracted combined LTL and LIN language \\
+\texttt{LTL/LTL.ma} & The specialisation of the above file to the syntax of LTL \\
+\texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN \\
+\end{tabular*}
+\end{center}
+
+\noindent
+Semantics specific files:
+\begin{center}
+\begin{tabular*}{\textwidth}{p{5.5cm}p{9.5cm}}
+Title & Description \\
+\hline
 \texttt{RTLabs/semantics.ma} & The semantics of RTLabs \\
-\texttt{joint/Joint.ma} & Abstracted syntax for backend languages \\
+\texttt{joint/semantics.ma} & The semantics of the abstracted backend languages. \\
 \texttt{joint/SemanticUtils.ma} & Generic utilities used in the semantics of all `joint' intermediate languages \\
-\texttt{RTL/RTL.ma} & The syntax of RTL \\
 \texttt{RTL/semantics.ma} & The semantics of RTL \\
-\texttt{ERTL/ERTL.ma} & The syntax of ERTL \\
 \texttt{ERTL/semantics.ma} & The semantics of ERTL \\
-\texttt{LTL/LTL.ma} & The syntax of LTL \\
+\texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & The semantics of the joint LTL-LIN language \\
 \texttt{LTL/semantics.ma} & The semantics of LTL \\
-\texttt{LIN/LIN.ma} & The syntax of LIN \\
 \texttt{LIN/semantics.ma} & The semantics of LIN
 \end{tabular*}