Changeset 1409 for Deliverables/D4.2-4.3
- Timestamp:
- Oct 19, 2011, 11:30:43 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.2-4.3/reports/D4-3.tex
r1407 r1409 503 503 \label{subsect.listing.files} 504 504 505 Semantics specific files (files relating to language translations ommitted): 506 \begin{center} 507 \begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}} 505 Semantics specific files (files relating to language translations ommitted). 506 Syntax specific files: 507 \begin{center} 508 \begin{tabular*}{\textwidth}{p{5.5cm}p{9.5cm}} 508 509 Title & Description \\ 509 510 \hline 510 511 \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 522 Semantics specific files: 523 \begin{center} 524 \begin{tabular*}{\textwidth}{p{5.5cm}p{9.5cm}} 525 Title & Description \\ 526 \hline 511 527 \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. \\ 513 529 \texttt{joint/SemanticUtils.ma} & Generic utilities used in the semantics of all `joint' intermediate languages \\ 514 \texttt{RTL/RTL.ma} & The syntax of RTL \\515 530 \texttt{RTL/semantics.ma} & The semantics of RTL \\ 516 \texttt{ERTL/ERTL.ma} & The syntax of ERTL \\517 531 \texttt{ERTL/semantics.ma} & The semantics of ERTL \\ 518 \texttt{L TL/LTL.ma} & The syntax of LTL\\532 \texttt{LIN/joint\_LTL\_LIN\_semantics.ma} & The semantics of the joint LTL-LIN language \\ 519 533 \texttt{LTL/semantics.ma} & The semantics of LTL \\ 520 \texttt{LIN/LIN.ma} & The syntax of LIN \\521 534 \texttt{LIN/semantics.ma} & The semantics of LIN 522 535 \end{tabular*}
Note: See TracChangeset
for help on using the changeset viewer.