Haiming Chen and Yunmei Dong. Practical type checking of functions defined on context-free languages. To appear in JCST.
Haiming Chen and Yunmei Dong. Facilitating formal specification acquisition by using recursive functions on context-free languages. New Trends in Software Methodologies, Tools and Techniques (Proceedings of the third SoMet_W04), Amsterdam: IOS Press, 2004, 213-227.
陈海明. 一种新型递归函数的求值算法研究.《软件学报》第15卷第9期, 2004.9, pp.1277-1291.
Haiming Chen and Yunmei Dong. Incorporating Static Type-Checking into Functions Defined on Context-Free Languages. SOFSEM 2004: Theory and Practice of Computer Science, January 2004, Merin, Czech Republic, pp.39-47.
Haiming Chen. Statically typed XML processing by the LFC language. CIT 2003, December 2003, Bhubaneswar, India, pp.177-182.
Haiming Chen and Yunmei Dong. Modeling and prototyping of software systems. SEA 2002, November 2002, Cambridge, USA, pp.617-622.
Haiming Chen and Yunmei Dong. Yet another meta-language for programming language processing. ACM SIGPLAN Notices, 37(6), June 2002, pp.28-37.
陈海明，董韫美. 一个支持规约获取的形式规约语言.《计算机学报》第25卷第5期, 2002年5月, pp.459-466.
Chen Haiming, Dong Yunmei. Practical type checking of functions defined on context-free languages. ICYCS'2001, Oct. 2001, Hangzhuo, China, pp. 1261-1263.
Chen Haiming, Dong Yunmei. Pattern matching compilation of functions defined on context-free languages.Journal of Computer Science & Technology, Mar. 2001,Vol.16, No.2, pp.159-167.
陈海明，董韫美. 形式规约语言LFC的设计. 智能计算机研究进展，863计划智能计算机主题学术会议论文集，清华大学出版社，2001.3, pp.292-301.
陈海明，董韫美. 上下文无关语言分析树的一种表示形式. 《计算机研究与发展》Vol.37,No.10, 2000.10. pp. 1179 - 1184.
Dong Yunmei, Li Kaide, Chen Haiming, et al. Design and implementation of the formal specification acquisition system SAQ. Conf. on Software: Theory and Practice, IFIP 16th World Computer Congress 2000. August 2000, Beijing, China, pp.201-211.
陈海明，金蓓弘. Bezier曲线和直线的求交方法. 全国现代科学计算第二届学术研讨会论文集，2000.8, pp.28-29.
Chen Haiming. Function definition language FDL and its implementation. Journal of Computer Science & Technology, Vol.14, No.4, July 1999, pp.414-421.
Chen Haiming. Getting contours of two overlapped regions bounded by cubic Bezier curves and straight lines. Chinese J. of Advanced Software Research, Vol.6, No.1, Feb. 1999, pp.84-94.
Also in CAD/Graphics'97, Dec. 1997.
陈海明. 运算构造和检验系统FC的设计和实现. 《软件学报》第9卷第10期, 1998.10, pp. 755-759.
董韫美，陈海明. 一个高质量汉字笔划字形到轮廓字形的转换系统.《软件学报》Vol. 7, No. 5, 257--263, 1996年5月. |
