已发表成果:
WOK 论文 3 篇;中文核心 2 篇;其它论文 6 篇;
The implementation of polymorphic many-sorted type system for logic programming language G?del
Implementation of Pruning operators in logic programming
A polymorphic type system in logic programming
逻辑语言剪枝算子的过程语义及其实现
计算机科学,1002-137X,2011.Prolog语言与Gdel语言中元程序设计方法的研究
厦门大学学报(自然科学版),0438-0479,2005-12-30.“编译程序设计原理”课程教学之思考
工业和信息化教育,2095-5065,2013-12-15.编译原理课程教学之思考
计算机教育,1672-5913,2013-09-25.Gdel语言编译时类型处理技术研究
计算机科学与探索,1673-9418,2010.逻辑程序设计语言Gdel与Prolog的比较
智能系统学报 ,1673-4785 ,2009.Gdel语言控制机制的研究与实现
智能系统学报 ,1673-4785 ,2009.Gdel语言对现代软件工程方法的支持
计算机时代,1006-8228,2006-11-02.