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

Search Results

Help

Item hits: (Results 1-10 of 74)

Items/Page:    Sort:
正则表达式子类的推断算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-18
崔蕃琳
  |  
 
一种基于组件的信息物理系统描述语言 [学位论文]
硕士, 北京: 中国科学院大学, 2017-04-01
时雨霖
  |  
 
ROS中XML-RPC协议实现的形式化验证 [期刊论文]
小型微型计算机系统, 2015-01-01, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
  |  
 
一类受限正则表达式的推断算法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-29
冯晓强
  |  
 
一类受限正则表达式的推断算法 [期刊论文]
计算机科学, 2014-01-01, 卷号: 41, 期号: 4, 页码: 178-183
冯晓强; 郑黎晓; 陈海明

 
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation [会议论文]
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014
Castagna, Giuseppe (1); Nguyen, Kim (2); Xu, Zhiwu (1); Im, Hyeonseung (2); Lenglet, Sergueï; (4); Padovani, Luca (5)

 
XML处理语言的参数多态化 [学位论文]
博士, 北京: 中国科学院大学, 2013-05-30
许智武
  |  
 
一种可扩展的用户界面描述语言 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 5, 页码: 1127-1142
杜一; 邓昌智; 田丰; 任磊; 戴国忠

 
正规树文法的产生式相交判定 [期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇; 陈海明
  |  
 
一种Web应用部署相关的Schema匹配方法 [会议论文]
2011全国软件与应用学术会议(NASAC2011), 长春, 2011
刘姗姗; 陈伟; 魏峻; 叶丹

 

1 2 3 4 5 6 7 8 next

 

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