Institutional Repository
| efficient type checking for a subclass of regular expression types | |
| Chen Lei; Chen Haiming | |
| 2008 | |
| Conference Name | 9th International Conference for Young Computer Scientists |
| Source | Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008 |
| Pages | 1647-1652 |
| Conference Date | NOV 18-21, |
| Conference Place | Zhangjiajie, PEOPLES R CHINA |
| Publish Place | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| Publisher | PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5 |
| 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. |
| 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 |
| Keyword | Type Checking Automata Derivative Label One-unambiguous Regular Expression |
| Sponsorship | China Computer Federation |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10552 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Chen Lei,Chen Haiming. efficient type checking for a subclass of regular expression types[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5,2008:1647-1652. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 04709220.pdf（154KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment