Detecting Incorrect Rules Automatically in Equivalent Transformation Programs
Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Yuya Wakamatsu · 2007
In the equivalent transformation computation model, a program (called an ET program) is a set of rules for meaning-preserving transformation of problems. In this paper we propose a method for automatically detecting incorrect rules in a given ET program.