Tue Jul 11 11:59:38 EDT 2017

definition control-dominates use

Can this principle be used to ensure caches are coherent?

Title is a quote from Olin Shivers from a talk on control flow,
CPS.  I believe presenting his scheme loop macro.

The basic idea is that a variable can't be referenced before it is
initialized, by construction.