Bjarne Steensgaard. Value dependence graphs: Representation without taxation (1994)

by Daniel Weise, Roger F Crew, Michael Ernst
Venue:In POPL