Changeset 3607


Ignore:
Timestamp:
Mar 6, 2017, 12:51:15 PM (8 months ago)
Author:
mulligan
Message:

more structure to paper

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/cerco.tex

    r3606 r3607  
    110110\end{abstract}
    111111
     112% ---------------------------------------------------------------------------- %
     113% SECTION                                                                      %
     114% ---------------------------------------------------------------------------- %
     115
    112116\section{Introduction}
    113117\label{sect.introduction}
    114 
    115 % ---------------------------------------------------------------------------- %
    116 % SECTION                                                                      %
    117 % ---------------------------------------------------------------------------- %
    118 \section{Introduction}
    119118
    120119%\paragraph{Problem statement.}
     
    188187of Lustre~\cite{lustre} data flow programs compiled into C.
    189188
     189% ---------------------------------------------------------------------------- %
     190% SECTION                                                                      %
     191% ---------------------------------------------------------------------------- %
     192
    190193\section{Project context and approach}
     194\label{sect.project.context.and.approach}
     195
    191196Formal methods for verifying functional properties of programs have 
    192197now reached a level of maturity and automation that their adoption is slowly
     
    374379% of a cost model inducing compiler.
    375380
     381% ---------------------------------------------------------------------------- %
     382% SECTION                                                                      %
     383% ---------------------------------------------------------------------------- %
     384
    376385\section{The typical CerCo workflow}
    377386\label{sec:workflow}
     387
    378388\begin{figure}[!t]
    379389\begin{tabular}{l@{\hspace{0.2cm}}|@{\hspace{0.2cm}}l}
     
    563573\end{figure}
    564574
     575% ---------------------------------------------------------------------------- %
     576% SECTION                                                                      %
     577% ---------------------------------------------------------------------------- %
     578
     579\section{Conclusions}
     580\label{sect.conclusions}
     581
    565582\begin{acknowledgements}
    566583\end{acknowledgements}
Note: See TracChangeset for help on using the changeset viewer.