Title: | efficient type checking for a subclass of regular expression types |
Author: | Chen Lei
; Chen Haiming
|
Source: | Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008
|
Conference Name: | 9th International Conference for Young Computer Scientists
|
Conference Date: | NOV 18-21,
|
Issued Date: | 2008
|
Conference Place: | Zhangjiajie, PEOPLES R CHINA
|
Keyword: | Type checking
; automata
; derivative
; label
; one-unambiguous regular expression
|
Publisher: | PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5
|
Publish Place: | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
ISBN: | 978-1-4244-4198-3
|
Department: | Chen, Lei; Chen, Haiming Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China.
|
Sponsorship: | China Computer Federation
|
English Abstract: | 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 |
Content Type: | 会议论文
|
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,.
|
|
|