Variations on constants flow analysis of sequential and parallel programs / - Müller-Olm, Markus. (Lecture notes in computer science,)