Variations on Constants : Flow Analysis of Sequential and Parallel Programs - Markus Müller-Olm ((Lecture Notes in Computer Science))