Variations on Constants : Flow Analysis of Sequential and Parallel Programs - Müller-Olm, Markus (Verfasser) (Programming and Software Engineering, 2006)