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

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

Moved paper structure comments to their relevant sections

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