Ignore:
Timestamp:
Mar 6, 2017, 3:31:01 PM (3 years ago)
Author:
boender
Message:

Moved paper structure comments to their relevant sections

File:
1 edited

Legend:

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

    r3614 r3615  
    6363\smartqed
    6464
    65 % PROPOSED PAPER STRUCTURE
    66 
    67 % Introduction
    68 %   Problem being solved, background, etc.
    69 %   Current state of the art (and problem with it)
    70 %   The `CerCo approach' (tm)
    71 %   Brief Matita overview
    72 %   Map of paper
    73 
    74 % CerCo compiler architecture
    75 %   Description of languages
    76 %   Target hardware description
    77 
    78 % Compiler proof
    79 %   Structure of proof, and high-level discussion
    80 %   Technical devices: structured traces, labelling, etc.
    81 %   Assembler proof
    82 %   Technical issues in front end (Brian?)
    83 %   Main theorem statement
    84 
    85 % FramaC plugin
    86 %   Purpose
    87 %   Description of architecture
    88 %   Case study/worked example (crypto example?)
    89 
    90 % Formal development
    91 %   Source code repo link
    92 %   Statistics (number of lines, etc.)
    93 %   Description of remaining axioms --- try and explain them away/make them sound reasonable
    94 
    95 % Conclusions
    96 %   Summary
    97 %   Related work
    98 %   Future work
    99 
    100 % Bibliography
    101 
    10265\title{CerCo: Certified Complexity\thanks{The project CerCo acknowledges the
    10366financial support of the Future and Emerging Technologies (FET) programme within
Note: See TracChangeset for help on using the changeset viewer.