DSpace width= university logo mark
Japanese | English 

KURA > B. 理工学域・研究域/理工学部/自然科学研究科 > b10. 学術雑誌掲載論文 > 1.査読済論文(工) >


ファイル 記述 サイズフォーマット
TE-PR-NAKAMURA-M-1401.pdf271.17 kBAdobe PDF
タイトル: User-defined on-demand matching
著者: Nakamura, Masaki link image
Ogata, Kazuhiro
Futatsugi, Kokichi
中村, 正樹
発行日: 2009年
出版社(者): The Institute of Electronics, Information and Communication Engineers = 電子情報通信学会
雑誌名: IEICE Transactions on Information and Systems
ISSN: 0916-8532
巻: E92-D
号: 7
開始ページ: 1401
終了ページ: 1411
キーワード: Lazy evaluation
On-demand matching
Term rewriting
The evaluation strategy
抄録: We propose a user-defined on-demand matching strategy, called O-matching, in which users can control the order of matching arguments of each operation symbol. In ordinary matching schemes it is not important to set the order of matching, however, in on-demand matching schemes, it is very important since an input term may be changed while doing the on-demand matching process. O-matching is suitable to combine with the E-strategy, which is a user-defined reduction strategy in which users can control the order of reducing arguments. We show a sufficient condition under which the E-strategy with O-matching is correct for head normal forms, that is, any reduced term is a head normal form. Copyright © 2009 The Institute of Electronics, Information and Communication Engineers.
DOI: 10.1587/transinf.E92.D.1401
URI: http://hdl.handle.net/2297/23901
資料種別: Journal Article
版表示: publisher

このアイテムを引用あるいはリンクする場合は次の識別子を使用してください。 http://hdl.handle.net/2297/23901



Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - ご意見をお寄せください