Variations on constants : flow analysis of sequential and parallel programs - Muller-Olm, Markus (Lecture Notes in Computer Science,, 2006)