# Changeset 1409

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

added more to appendix discussing code

File:
1 edited

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

 r1407 \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*}
Note: See TracChangeset for help on using the changeset viewer.