An empirical study of computation equivalence as determined by decomposition slice equivalence | IEEE Conference Publication | IEEE Xplore