Reification of program points for visual execution | IEEE Conference Publication | IEEE Xplore