efficient type checking for a subclass of regular expression types

	efficient type checking for a subclass of regular expression types
	Chen Lei; Chen Haiming
	2008
会议名称	9th International Conference for Young Computer Scientists
会议录名称	Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008
页码	1647-1652
会议日期	NOV 18-21,
会议地点	Zhangjiajie, PEOPLES R CHINA
出版地	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
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.
摘要	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
关键词	Type Checking Automata Derivative Label One-unambiguous Regular Expression
主办者	China Computer Federation
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10552
专题	基础软件与系统重点实验室
推荐引用方式 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.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
04709220.pdf（154KB）			开放获取	--	请求全文