Changeset 1778 for Deliverables/D1.2/CompilerProofOutline
- Timestamp:
- Feb 27, 2012, 5:09:49 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D1.2/CompilerProofOutline/outline.tex
r1777 r1778 1 \documentclass[ a4paper, 10pt]{article}2 1 \documentclass[11pt,a4paper]{article} 2 \usepackage{../../style/cerco} 3 3 \usepackage{a4wide} 4 4 \usepackage{amsfonts} … … 9 9 \usepackage{diagrams} 10 10 \usepackage{graphicx} 11 \usepackage[colorlinks]{hyperref}12 \usepackage[utf8x]{inputenc}13 11 \usepackage{listings} 14 12 \usepackage{microtype} … … 26 24 \usepackage{wasysym} 27 25 28 29 \lstdefinelanguage{matita-ocaml} { 30 mathescape=true 31 } 32 \lstset{ 33 language=matita-ocaml,basicstyle=\tt,columns=flexible,breaklines=false, 34 showspaces=false, showstringspaces=false, extendedchars=false, 35 inputencoding=utf8x, tabsize=2 36 } 37 38 \title{Proof outline for the correctness of the CerCo compiler} 39 \date{\today} 40 \author{The CerCo team} 26 \hypersetup{bookmarksopenlevel=2} 27 28 \title{ 29 INFORMATION AND COMMUNICATION TECHNOLOGIES\\ 30 (ICT)\\ 31 PROGRAMME\\ 32 \vspace*{1cm}Project FP7-ICT-2009-C-243881 {\cerco}} 33 34 \date{ } 35 \author{} 41 36 42 37 \begin{document} 43 38 \thispagestyle{empty} 39 40 \vspace*{-1cm} 41 \begin{center} 42 \includegraphics[width=0.6\textwidth]{../../style/cerco_logo.png} 43 \end{center} 44 45 \begin{minipage}{\textwidth} 44 46 \maketitle 47 \end{minipage} 48 49 50 \vspace*{0.5cm} 51 \begin{center} 52 \begin{LARGE} 53 \bf 54 Proof outline for the correctness of the CerCo compiler 55 \end{LARGE} 56 \end{center} 57 58 \vspace*{2cm} 59 \begin{center} 60 \begin{large} 61 Version 1.0 62 \end{large} 63 \end{center} 64 65 \vspace*{0.5cm} 66 \begin{center} 67 \begin{large} 68 Main Authors:\\ 69 B. Campbell, D. Mulligan, P. Tranquilli, C. Sacerdoti Coen 70 \end{large} 71 \end{center} 72 73 \vspace*{\fill} 74 \noindent 75 Project Acronym: {\cerco}\\ 76 Project full title: Certified Complexity\\ 77 Proposal/Contract no.: FP7-ICT-2009-C-243881 {\cerco}\\ 78 79 \clearpage \pagestyle{myheadings} \markright{{\cerco}, FP7-ICT-2009-C-243881} 80 81 \tableofcontents 45 82 46 83 \section{Introduction}
Note: See TracChangeset
for help on using the changeset viewer.