modelverse/techreport/conformance_bottom/main.tex

%-----------------------------------------------------------------------------
%
%               Template for sigplanconf LaTeX Class
%
% Name:         sigplanconf-template.tex
%
% Purpose:      A template for sigplanconf.cls, which is a LaTeX 2e class
%               file for SIGPLAN conference proceedings.
%
% Guide:        Refer to "Author's Guide to the ACM SIGPLAN Class,"
%               sigplanconf-guide.pdf
%
% Author:       Paul C. Anagnostopoulos
%               Windfall Software
%               978 371-2316
%               paul@windfall.com
%
% Created:      15 February 2005
%
%-----------------------------------------------------------------------------


\documentclass[preprint,10pt]{sigplanconf}

% The following \documentclass options may be useful:

% preprint      Remove this option only once the paper is in final form.
% 10pt          To set in 10-point type instead of 9-point.
% 11pt          To set in 11-point type instead of 9-point.
% numbers       To obtain numeric citation style instead of author/year.

\usepackage{amsmath}
\usepackage{graphicx}
\usepackage{subcaption}
\usepackage{listings}

\newcommand{\cL}{{\cal L}}

\begin{document}

\special{papersize=8.5in,11in}
\setlength{\pdfpageheight}{\paperheight}
\setlength{\pdfpagewidth}{\paperwidth}

\conferenceinfo{SLE '16}{October 31--November 1, 2016, Amsterdam, the Netherlands}
\copyrightyear{2016}
\copyrightdata{978-1-nnnn-nnnn-n/yy/mm}
\copyrightdoi{nnnnnnn.nnnnnnn}

% Uncomment the publication rights you want to use.
%\publicationrights{transferred}
%\publicationrights{licensed}     % this is the default
%\publicationrights{author-pays}

\titlebanner{banner above paper title}        % These are ignored unless
\preprintfooter{short description of paper}   % 'preprint' option specified.

\title{Breaking Free of the Implementation\\Through Explicit Type/Instance Relations}
\subtitle{}

\authorinfo{Yentl Van Tendeloo}
           {University of Antwerp}
           {Yentl.VanTendeloo@uantwerpen.be}
\authorinfo{Hans Vangheluwe}
           {University of Antwerp and McGill University}
           {Hans.Vangheluwe@uantwerpen.be}

\maketitle

\begin{abstract}
\input abstract.tex
\end{abstract}

\category{CR-number}{subcategory}{third-level}

% general terms are not compulsory anymore,
% you may leave them out
\terms
term1, term2

\keywords
keyword1, keyword2

\input 1-introduction.tex
\input 2-background.tex
\input 3-conformance.tex
\input 3.5-conformancebottom.tex
\input 4-example.tex
\input 5-relatedwork.tex
\input 6-conclusion.tex

\acks

This work was partly funded by a PhD fellowship from the Research Foundation -
Flanders (FWO). Partial support by the Flanders Make strategic research centre
for the manufacturing industry is also gratefully acknowledged.

% We recommend abbrvnat bibliography style.

\bibliographystyle{abbrvnat}
\bibliography{bibliography}

\end{document}