On Extending Matching Operation in Grammar Programs for Program Inversion
この論文をさがす
抄録
The inversion method proposed by Gliick and Kawabe uses grammar programs as intermediate results, that comprise sequences of operations (data generation, matching, etc.). The semantics of the grammar programs is denned as a stack machine where data terms are stored in the stack. The matching operation for a constructor symbol pops up the topmost term of the stack and pushes its direct subterms to the stack if the topmost term is rooted by the constructor. This paper strengthens the matching operation by augmenting a parameter that specifies what position the matching operation can look into from the top of the stack. This extension is sometimes effective to avoid the failure execution of the determinization method based on LR parsing described in the latter half of the inversion method.
IEICE Technical Report;SS2012-27,IEICE Technical Report;KBSE2012-29
収録刊行物
-
- 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 12 (164), 103-108, 2012-07
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050001338804678656
-
- NII論文ID
- 110009626580
- 110009626477
-
- NII書誌ID
- AA1123312X
-
- HANDLE
- 2237/23557
-
- ISSN
- 09135685
-
- 本文言語コード
- en
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles