| 题名: | efficient type checking for a subclass of regular expression types |
| 作者: | Chen Lei
; Chen Haiming
|
| 会议文集: | Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008
|
| 会议名称: | 9th International Conference for Young Computer Scientists
|
| 会议日期: | NOV 18-21,
|
| 出版日期: | 2008
|
| 会议地点: | Zhangjiajie, PEOPLES R CHINA
|
| 关键词: | Type checking
; automata
; derivative
; label
; one-unambiguous regular expression
|
| 出版者: | PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5
|
| 出版地: | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
| ISBN: | 978-1-4244-4198-3
|
| 部门归属: | Chen, Lei; Chen, Haiming Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China.
|
| 主办者: | China Computer Federation
|
| 英文摘要: | Type checking is an important problem in statically typed XML processing languages. Most type systems are implemented based on tree automata for the tree structure of XML documents and schemas. It is known that the complexity of inclusion prob |
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/10552
|
| Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 04709220.pdf（154KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Chen Lei,Chen Haiming. efficient type checking for a subclass of regular expression types[C]. 见:9th International Conference for Young Computer Scientists. Zhangjiajie, PEOPLES R CHINA. NOV 18-21,.
|
|
|
