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/proof.tex

    r3613 r3615  
     1% Compiler proof
     2%   Structure of proof, and high-level discussion
     3%   Technical devices: structured traces, labelling, etc.
     4%   Assembler proof
     5%   Technical issues in front end (Brian?)
     6%   Main theorem statement
     7
    18\section{Compiler proof}
    29\label{sect.compiler.proof}
Note: See TracChangeset for help on using the changeset viewer.