High-fidelity C/C++ code transformation

Dan G. Waddington, Bin Yao. High-fidelity C/C++ code transformation. Science of Computer Programming, 68(2):64-78, 2007. [doi]

Abstract

Abstract is missing.