The Semantics of Program Dependence.

Robert Cartwright, Matthias Felleisen

Browse the full PLDI paper archive.