Start restructuring dissertation for new formalism
Include previous Armstrong/Virding section, and expand on todo
Outline of other sections of mark-sweep correctness
Definitions of heap/cell/pointer/reachable in chpt. 4
I cannot English
Define correct marking
Rewording
Armstrong/Virding partial correctness
Goals [and Contributions]
Section labels
Lit review intro, citation for malloc/free
Add examples of garbage collection on a tiny heap
Remove 'Traditional' algorithms, just have GC and Hybrid GC
Example formatting
Include full program in Hoare tree
Distinguish between extraction and refinement
Illustrative formulae for Myreen and Birkedal
Lit review summary
Problem analysis intro
Add note about performance to evaluation