中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 11)

Items/Page:    Sort:
确定性正则语言及其子类的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-05-26
褚新宇
  |  
 
正则表达式子类的推断算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-18
崔蕃琳
  |  
 
无序正则表达式的确定性判定与推断 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-21
彭飞飞
  |  
 
改进的流不敏感的类型限定词推断 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-29
李慧松
  |  
 
一类受限正则表达式的推断算法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-29
冯晓强
  |  
 
确定性正则语言的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-05-29
陆平
  |  
 
XML处理语言的参数多态化 [学位论文]
博士, 北京: 中国科学院大学, 2013-05-30
许智武
  |  
 
信息无损数据转换的模型、测试和判定问题研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-31
郑黎晓
  |  
 
类型检查中的正则表达式相交判定与包含判定 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-06-01
倪晓勇
  |  
 
函数式语言LFC的Supercompilation技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-08
郑丽丽
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace