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

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

Moved paper structure comments to their relevant sections

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