efficient type checking for a subclass of regular expression types
文献类型：会议论文
| 作者 | Chen Lei ; Chen Haiming |
| 出版日期 | 2008 |
| 会议名称 | 9th International Conference for Young Computer Scientists |
| 会议日期 | NOV 18-21, |
| 会议地点 | Zhangjiajie, PEOPLES R CHINA |
| 关键词 | Type checking automata derivative label one-unambiguous regular expression |
| 页码 | 1647-1652 |
| 英文摘要 | 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 |
| 会议主办者 | China Computer Federation |
| 会议录 | Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008
 |
| 会议录出版者 | 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 |
| 源URL | [http://124.16.136.157/handle/311060/10552]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _会议论文 |
| 推荐引用方式 GB/T 7714 | 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,. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。