Title :
Detecting Incorrect Rules Automatically in Equivalent Transformation Programs
Author :
Miyajima, Shinya ; Akama, Kiyoshi ; Mabuchi, Hiroshi ; Wakamatsu, Yuya
Author_Institution :
Waseda Univ., Tokyo
Abstract :
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.
Keywords :
logic programming; program debugging; program diagnostics; ET program; bug detection; equivalent transformation program; incorrect rule detection; logic programming; Computational efficiency; Computational modeling; Computer bugs; Costs; Information science; Logic programming;
Conference_Titel :
Innovative Computing, Information and Control, 2007. ICICIC '07. Second International Conference on
Conference_Location :
Kumamoto
Print_ISBN :
0-7695-2882-1
DOI :
10.1109/ICICIC.2007.258
