%> do tex %F -l -l -d -p

\def\TOPO{{\sc topo}}
\def\LOTOS{{\sc lotos}}
\def\LBM{$\Lambda\beta$-machine}
\def\LB{$\Lambda\beta$}

\documentstyle[12pt]{article}
\input{psfig}
\textwidth=17cm
\oddsidemargin=0cm
\evensidemargin=0cm
\topmargin=0cm
\headheight=0cm
\headsep=0cm
\textheight=24cm

\parindent=0mm
\parskip=1ex
\unitlength=1mm

\title{\LB: a Virtual LOTOS Machine\footnote{
  This work has been partly funded by
  the European Space Agency under contract number 103290.
  }}
\author{
  Jos\'e A. Ma\~nas		\\
  Joaqu\'{\i}n Salvach\'ua	\\[1ex]
  Dpt. Ingenier\'{\i}a Telem\'atica	\\
  Technical University of Madrid
}
\date{24 May, 1991}

\begin{document}
\maketitle

\begin{abstract}
\LOTOS\ behaviour semantics are usually presented in a declarative style that
permits to evaluate which events are possible at each stage,
and which is the behaviour after an event occurs.
In order to generate code
that implements these operational semantics
an imperative model is very convenient for efficiency.
A virtual machine
(\LBM\ for \LOTOS\ Behaviour Machine)
is presented in this paper that 
provides such an imperative point of view,
but still keeps independent of implementation details,
effectively providing an intermediate representation for either
interpretation or generation of code for any systems programming language.
An abstract model of execution is presented,
and then 
the virtual machine is presented by describing its instructions,
the relationship to \LOTOS\ constructs,
and its dynamic semantics.
C code generation is briefly commented too.
\end{abstract}

\section{Introduction}
\input{sect1.tex}

\section{The Abstract Model}
\input{sect2.tex}

\section{The Language}
\input{sect3.tex}

\section{Semantics}
\input{sect4.tex}

%\section{Mapping LOTOS constructs to \LBM}
%%\input{sect5.tex}

\section{Implementation}
\input{sect6.tex}

\section{Conclusions}
\input{sect7.tex}

\bibliographystyle{abbrv}
\bibliography{lotos}

%\appendix
%\section{Complete Example}
\twocolumn [\centerline{\rule[-10mm]{0mm}{0mm}{\Large\bf A Complete Example}}]
\footnotesize
%\begin{figure*}[t]
%  \centerline{\Large\bf A Complete Example}
%\end{figure*}

\input{app1.tex}

\end{document}

% Local Variables:
% mode: indented-text
% comment-column: 0
% comment-start: "% "
% comment-end: ""
% comment-start-skip: "% *"
