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
[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
[3613]8\section{Compiler proof}
Note: See TracBrowser for help on using the repository browser.