WEKO3
アイテム
A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents
https://ipsj.ixsq.nii.ac.jp/records/16597
https://ipsj.ixsq.nii.ac.jp/records/165976242d150-dcb1-4075-abd0-bf710c8a7487
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4614005.pdf (225.8 kB)
|
Copyright (c) 2005 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2005-10-15 | |||||||
| タイトル | ||||||||
| タイトル | A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 通常論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| The University of Aizu | ||||||||
| 著者所属 | ||||||||
| Chubu University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| The University of Aizu | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Chubu University | ||||||||
| 著者名 |
Taro, Suzuki
Satoshi, Okui
× Taro, Suzuki Satoshi, Okui
|
|||||||
| 著者名(英) |
Taro, Suzuki
Satoshi, Okui
× Taro, Suzuki Satoshi, Okui
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this paper we propose a new framework for transformations of XML documents based on an extension of regular expression type called incomplete regular expression type. Incomplete regular expression type is a restricted second-order extension of regular expression (RE) type: An incomplete RE type can be applied to arbitrary RE types as its arguments. It is accomplished by introducing holes to types. We give a version of second-order rewrite systems designed founded on our type system. Matching between a subterm with the left-hand side of rewrite rules yields a substitution that bind second-order terms to the variables of incomplete type. This feature is practically useful when we want to reuse “the upper parts” of XML documents in the transformation. We demonstrate that the introduction of incomplete regular expression type allows programmers much flexibility. In this paper we mainly concentrate on the type theoretic issues and give some properties concerning for incomplete types. We also show the type preservation in rewriting. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this paper we propose a new framework for transformations of XML documents based on an extension of regular expression type, called incomplete regular expression type. Incomplete regular expression type is a restricted second-order extension of regular expression (RE) type: An incomplete RE type can be applied to arbitrary RE types as its arguments. It is accomplished by introducing holes to types. We give a version of second-order rewrite systems, designed founded on our type system. Matching between a subterm with the left-hand side of rewrite rules yields a substitution that bind second-order terms to the variables of incomplete type. This feature is practically useful when we want to reuse “the upper parts” of XML documents in the transformation. We demonstrate that the introduction of incomplete regular expression type allows programmers much flexibility. In this paper, we mainly concentrate on the type theoretic issues and give some properties concerning for incomplete types. We also show the type preservation in rewriting. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 46, 号 SIG14(PRO27), p. 43-54, 発行日 2005-10-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
