QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 正规树文法的产生式相交判定 期刊论文 计算机工程与设计, 2012, 卷号: 33, 期号: 3, 页码: 1197-1202,1212 倪晓勇; 陈海明 收藏  |  浏览/下载：14/0  |  提交时间：2012/11/12 XML type checking  regular tree grammar  production rules  intersection checking  regular expression  automata   subtyping algorithm of regular tree grammars with disjoint production rules 会议论文 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, Natal, Brazil, September Chen Lei; Chen Haiming 收藏  |  浏览/下载：7/0  |  提交时间：2011/03/31 Algorithms  Trees (mathematics)   采用了剪枝优化的子类型关系判定算法 期刊论文 软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1481-1490 戴晓君; 陈海明 收藏  |  浏览/下载：6/0  |  提交时间：2011/05/23 XML  静态类型化语言  类型检查  子类型关系判定  算法优化XML  statically typed language  type checking  subtyping  algorithm optimization   efficient type checking for a subclass of regular expression types 会议论文 9th International Conference for Young Computer Scientists, Zhangjiajie, PEOPLES R CHINA, NOV 18-21, Chen Lei; Chen Haiming 收藏  |  浏览/下载：12/0  |  提交时间：2011/06/13 Type checking  automata  derivative  label  one-unambiguous regular expression