A re-engineering approach to program translation | IEEE Conference Publication | IEEE Xplore