Program Optimizations with Type Systems (Extended Abstract) ∗

Introduction Imperative program optimizations based on data-flow analyses are usually presented in an algorithmic manner, whereby the algorithms typically do not work directly on the given program, but rather on an intermediate form such as its control-flow graph. This is a good way to go about optimizing programs, but it is not an ideal presentation of what is done, if the optimizations are required to have justifications that can be communicated. In application