qvt/docs/ICMT2013/icmt13_52.tex

%=======================================================================
% Copyright (c) 2012 The University of York and Willink Transformations.
%
% $Id: icmt13_52.tex 4506 2013-02-12 16:45:23Z hhoyos@CS.YORK.AC.UK $
%=======================================================================
\documentclass{llncs}
%
\usepackage{makeidx}  % allows for indexgeneration
\usepackage{listings}
\usepackage{graphicx}
\usepackage{multicol}
\usepackage{upquote}

%
\begin{document}
\input{oclListings}
\input{qvtcListings}
\lstset{
basicstyle=\scriptsize,
tabsize=4,
% Numbering
numbers=left, numberstyle=\tiny, numbersep=5pt}

\mainmatter              % start of the contributions
%
%\title{Towards an extended family of QVT languages}
\title{QVT Imperative - A practical semantics for declarative transformations}
%
\author{Horacio Hoyos \and Dimitris Kolovos\inst{1} \and Edward Willink\inst{2}}
%
\institute{The University of York, York, UK,\\
\email{horacio.hoyos.rodriguez@ieee.org, dimitris.kolovos@york.ac.uk},\\
\and
Willink Transformations Ltd., Reading, UK \\
\email{ed@willinktransformations.co.uk}}

\maketitle              % typeset the title of the contribution

\input{abstract}

%\input{Outline}

\input{introduction}

\input{motivation}

\input{QVTcore}

%\input{subsetLanguages}

\input{QVTi}

\input{relatedwork}

%\input{virtualMachine}

\input{conclusions}

%
% ---- Bibliography ----
%
\bibliographystyle{splncs03}
\bibliography{hhr502References}

\end{document}