Variations on constants : flow analysis of sequential and parallel programs / - Müller-Olm, Markus. (Springer,, 2006)