Zhiwu Xu
Zhiwu Xu
College of Computer Science and Software Engineering (CSSE), Shenzhen University
Verified email at szu.edu.cn
TitleCited byYear
Set-theoretic foundation of parametric polymorphism and subtyping
G Castagna, Z Xu
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
372011
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation
G Castagna, K Nguyen, Z Xu, H Im, S Lenglet, L Padovani
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
332014
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction
G Castagna, K Nguyen, Z Xu, P Abate
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
262015
A toolkit for generating sentences from context-free grammars
Z Xu, L Zheng, H Chen
International Journal of Software and Informatics 5 (4), 659-676, 2011
152011
A toolkit for generating sentences from context-free grammars
Z Xu, L Zheng, H Chen
Proceedings of the 2010 8th IEEE International Conference on Software …, 2010
152010
A self-supervised framework for clustering ensemble
L Du, YD Shen, Z Shen, J Wang, Z Xu
International Conference on Web-Age Information Management, 253-264, 2013
52013
Parametric Polymorphism for XML Processing Languages
Z Xu
Université Paris-Diderot-Paris VII, 2013
5*2013
基于文法分支覆盖的短句子生成算法
郑黎晓, 许智武, 陈海明
软件学报 22 (11), 2564-2576, 2011
22011
State-Taint Analysis for Detecting Resource Bugs
Z Xu, D Fan, S Qin
Theoretical Aspects of Software Engineering (TASE), 2016 10th International …, 2016
12016
改进的流不敏感的类型限定词推断
李慧松, 许智武, 陈海明
计算机科学 41 (9), 178-184, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–10