It is possible to scale control-flow analyses for higher-order languages to complete, fully-fledged programming languages and consequently compute the flow analysis of realistic programs. This dissertation gives a formal ...