Value Dependence Graphs: Representation without Taxation.

Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard

Browse the full POPL paper archive.