融合変換を模倣するプログラム生成変換の戦略  [in Japanese] Simulating Fusion Transformation by Program-Generation Transformation  [in Japanese]

Search this Article

Author(s)

Abstract

等号付き一階述語論理に基づくプログラム生成変換gs[1],[2]は,一般の等式論理では扱うことのできない限量子や論理和を含む仕様を取り扱うことができる.gsは,実行不可能な仕様から実行可能なプログラムを生成できる場合があり,プログラムの自動生成に応用が期待できる.しかし,どのようなプログラムや仕様に対してプログラム生成が成功するかは全く不明であった.本稿では,プログラム融合変換として知られるDeforestation[3]をgsが模倣できることを示す.

Program-Generation Transformation gs[1],[2] based on first-order logic with equality can handle specifications with quantifiers and logical 0Rs in them. There are some cases in which gs can transform unexecutable specifications into executable programs, so gs is expected to be applied to automatic program generation. However, we have not known conditions for specifications when the program generation succeeds. In this report, we show that gs can simulate Deforestation[3] known as a fusion transformation.

Journal

  • Technical report of IEICE. SS

    Technical report of IEICE. SS 104(466), 43-48, 2004-11-18

    The Institute of Electronics, Information and Communication Engineers

References:  8

Cited by:  2

Codes

  • NII Article ID (NAID)
    110003277237
  • NII NACSIS-CAT ID (NCID)
    AN10013287
  • Text Lang
    JPN
  • Article Type
    Journal Article
  • ISSN
    09135685
  • NDL Article ID
    7188453
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  CJPref  NDL  NII-ELS 
Page Top