source: Papers/jar-cerco-2017/proof.tex @ 3622

Last change on this file since 3622 was 3615, checked in by boender, 3 years ago

Moved paper structure comments to their relevant sections

File size: 269 bytes
Line 
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
8\section{Compiler proof}
9\label{sect.compiler.proof}
Note: See TracBrowser for help on using the repository browser.