• DocumentCode
    2740453
  • Title

    Detecting Incorrect Rules Automatically in Equivalent Transformation Programs

  • Author

    Miyajima, Shinya ; Akama, Kiyoshi ; Mabuchi, Hiroshi ; Wakamatsu, Yuya

  • Author_Institution
    Waseda Univ., Tokyo
  • fYear
    2007
  • fDate
    5-7 Sept. 2007
  • Firstpage
    465
  • Lastpage
    465
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Innovative Computing, Information and Control, 2007. ICICIC '07. Second International Conference on
  • Conference_Location
    Kumamoto
  • Print_ISBN
    0-7695-2882-1
  • Type

    conf

  • DOI
    10.1109/ICICIC.2007.258
  • Filename
    4428107
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2740453