source: Papers/jar-cerco-2017/cerco.tex @ 3600

Last change on this file since 3600 was 3600, checked in by mulligan, 3 years ago

addresses, authors, title, etc.

File size: 1.7 KB
Line 
1\begin{filecontents*}{example.eps}
2%!PS-Adobe-3.0 EPSF-3.0
3%%BoundingBox: 19 19 221 221
4%%CreationDate: Mon Sep 29 1997
5%%Creator: programmed by hand (JK)
6%%EndComments
7gsave
8newpath
9  20 20 moveto
10  20 220 lineto
11  220 220 lineto
12  220 20 lineto
13closepath
142 setlinewidth
15gsave
16  .4 setgray fill
17grestore
18stroke
19grestore
20\end{filecontents*}
21
22\RequirePackage{fix-cm}
23
24\documentclass[smallextended]{svjour3}
25
26\usepackage{amsfonts}
27\usepackage{amsmath}
28\usepackage[british]{babel}
29\usepackage{graphicx}
30\usepackage[colorlinks]{hyperref}
31\usepackage{microtype}
32
33\smartqed
34
35\title{CerCo: Certified Complexity\thanks{FET Open Grant 243881}}
36\subtitle{The verified lifting of concrete complexity annotations}
37\journalname{Journal of Automated Reasoning}
38\titlerunning{Certified Complexity}
39\date{Received: date / Accepted: date}
40\author{Jaap Boender \and Brian Campbell \and Dominic P. Mulligan \and Claudio Sacerdoti Coen}
41
42\institute{Jaap Boender \at
43              first address \\
44              Tel.: +123-45-678910\\
45              Fax: +123-45-678910\\
46              \email{fauthor@example.com}
47           \and
48           Brian Campbell \at
49              second address
50           \and
51           Dominic P. Mulligan \at
52              this address
53           \and
54           Claudio Sacerdoti Coen \at
55              fourth address}
56
57\begin{document}
58
59\maketitle
60
61\begin{abstract}
62\keywords{Verified compilation \and Complexity analysis \and CerCo (`Certified Complexity')}
63\end{abstract}
64
65\section{Introduction}
66\label{sect.introduction}
67
68\begin{acknowledgements}
69\end{acknowledgements}
70
71%\bibliographystyle{spbasic}      % basic style, author-year citations
72\bibliography{cerco}   % name your BibTeX data base
73
74\end{document}
Note: See TracBrowser for help on using the repository browser.