Variations on Constants: Flow Analysis of Sequential and Parallel Programs - Markus Müller-Olm