Shunpei Sugawara, Keichi Takahashi, Yoichi Shimomura, Ryusuke Egawa, Hiroyuki Takizawa. Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches. In Hiroyuki Takizawa, Hong Shen 0001, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa, editors, Parallel and Distributed Computing, Applications and Technologies - 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings. Volume 13798 of Lecture Notes in Computer Science, pages 373-386, Springer, 2022. [doi]
Abstract is missing.