プログラム生成系GeneSysにおける等式仕様への否定の導入
書誌事項
- タイトル別名
-
- プログラム セイセイケイ GeneSys ニ オケル トウシキ シヨウ エノ ヒテイ ノ ドウニュウ
- Extending program-generation system GeneSys for allowing negation in equational specifications
この論文をさがす
説明
プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である.本論文では,GeneSysで否定記号を含む論理式を扱うために既存の変換規則を拡張し,否定記号を用いた仕様からのプログラム生成の例を示す.また,否定記号に関連する変換規則などを新たに追加し,これによりプログラムの生成が可能になる例を示す.
収録刊行物
-
- 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107 (392), 43-48, 2007-12
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050564288756912896
-
- NII論文ID
- 110006549281
- 120005527804
-
- NII書誌ID
- AN10013287
-
- HANDLE
- 2237/21102
-
- NDL書誌ID
- 9328394
-
- ISSN
- 09135685
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDLサーチ
- CiNii Articles
- KAKEN