Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches.

Shunpei Sugawara, Keichi Takahashi, Yoichi Shimomura, Ryusuke Egawa, Hiroyuki Takizawa

Browse the full PDCAT paper archive.