Syntax-directed construction of Value Dependence Graphs | IEEE Conference Publication | IEEE Xplore