Ignore:
Timestamp:
Sep 5, 2011, 2:55:04 PM (8 years ago)
Author:
mulligan
Message:

changed to llncs style and increased font size in code extracts

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r819 r1184  
    1 \documentclass[10pt, final, conference, letter]{IEEEtran}
     1\documentclass[10pt, a4paper]{llncs}
    22
    33\usepackage{amsfonts}
     
    3636   mathescape=true,
    3737  }
    38 \lstset{language=matita-ocaml,basicstyle=\footnotesize\tt,columns=flexible,breaklines=false,
     38\lstset{language=matita-ocaml,basicstyle=\tt,columns=flexible,breaklines=false,
    3939        keywordstyle=\bfseries, %\color{red}\bfseries,
    4040        keywordstyle=[2]\bfseries, %\color{blue},
     
    5454}
    5555
    56 \author{
    57   \IEEEauthorblockN{Dominic P. Mulligan}
    58   \IEEEauthorblockA{Dipartimento di Scienze dell'Informazione,\\ Universit\`a di Bologna}
    59 \and
    60   \IEEEauthorblockN{Claudio Sacerdoti Coen}
    61   \IEEEauthorblockA{Dipartimento di Scienze dell'Informazione,\\ Universit\`a di Bologna}
    62 }
    63 
    64 \title{An executable formalisation of the MCS-51 microprocessor in Matita}
    65 
    66 \thanks{The project CerCo acknowledges the financial support of the Future and
    67 Emerging Technologies (FET) programme within the Seventh Framework
    68 Programme for Research of the European Commission, under FET-Open grant
    69 number: 243881}
    70 
    71 \bibliographystyle{IEEEtran}
    72 
    7356\begin{document}
     57
     58\author{Dominic P. Mulligan \and Claudio Sacerdoti Coen}
     59\authorrunning{D. P. Mulligan \and C. Sacerdoti Coen}
     60\institute{Dipartimento di Scienze dell'Informazione,\\ Universit\`a di Bologna}
     61%\and
     62%  \IEEEauthorblockN{Claudio Sacerdoti Coen}
     63%  \IEEEauthorblockA{Dipartimento di Scienze dell'Informazione,\\ Universit\`a di Bologna}
     64%}
     65
     66\bibliographystyle{plain}
     67
     68\title{An executable formalisation of the MCS-51 microprocessor in Matita
     69 \thanks{The project CerCo acknowledges the financial support of the Future and Emerging Technologies (FET) programme within the Seventh Framework Programme for Research of the European Commission, under FET-Open grant number: 243881}}
    7470
    7571\maketitle
     
    8682\end{abstract}
    8783
    88 \begin{IEEEkeywords}
     84\begin{keywords}
    8985Hardware formalisation, Matita, dependent types, CerCo
    90 \end{IEEEkeywords}
     86\end{keywords}
    9187
    9288%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     
    341337\begin{minipage}[t]{0.45\textwidth}
    342338\vspace{0pt}
    343 \small{
    344339\begin{lstlisting}
    345340type 'a vect = bit list
     
    348343let split_word w = split_nth 4 w
    349344let split_byte b = split_nth 2 b
    350 \end{lstlisting}}
     345\end{lstlisting}
    351346\end{minipage}
    352347%
Note: See TracChangeset for help on using the changeset viewer.