GeneSys によるプログラム生成例と Introduction 規則の追加  [in Japanese] Example programs generated by GeneSys and proposal of Introduction rule  [in Japanese]

Search this Article

Author(s)

Abstract

プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である.本論文では,よく知られたいくつかのプログラム合成例にGeneSysが適用できることを示す.また,GeneSysでは実行可能なプログラムを生成できない仕様の一例を挙げ,等式を追加する新たな変換規則Introductionによりこの仕様からのプログラム生成が可能になることを示す.

Program Generation System GeneSys is a method for generating executable programs from specifications described in first-order logic. In this paper, we show some examples known as successful results obtained by program composition are applicable to GeneSys. We also propose a new conversion rule called Introduction, which enables GeneSys to generate programs from a specification that the original system fails.

Journal

  • IEICE technical report

    IEICE technical report 106(324), 37-42, 2006-10-19

    The Institute of Electronics, Information and Communication Engineers

References:  9

Cited by:  1

Codes

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