1. 一个基于抽象解释的部分演绎过程刘椿年（北京工业大学计算机科学系，北京100022）摘要本文提出一种新的基于抽象解释的逻辑程序部分演绎方法。
This paper presents a novel approach to partial deduction of logic programming, which is based on abstract interpretations.
2. 一种路径覆盖的自动生成算法剪枝法王志言刘椿年（北京工业大学计算机系北京100022）摘要程序结构测试可以分为四个阶段：静态分析，路径选择，测试数据生成和动态分析。
There are four phases in structural testing: Static analysis, path selection, case generation, and dynamic analysis.
3. 玫瑰窨制花茶，早在我国明代钱椿年编、顾元庆校的《茶谱》中就有详细记载。
Rose plants range in size from puny, miniature roses, to climbers that can reach 20 meters in height.
4. 约束逻辑程序部分演绎过程的研究陶意，刘椿年（北京工业大学计算机科学系北京100022）摘要约束逻辑程序的部分演绎是一个新兴的研究领域。
Partial deduction of constraint logic programs is a newly emerging research field.
5. CLP程序部分演绎的研究张秀珍，刘椿年（北京工业大学计算机科学系北京100022）摘要本文从实例分析总结了在宽度优先语义下对CLP程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于CLP程序的部分演绎的新课题。
This paper summarizes the basic rules and presents two specific rules for thepartial deduction of CLP programs, which preserve breadth-first equivalence. It also, for the first time, suggests a new research field-applying the abstract interpretation techniques to the partial deduction of CLP programs.
6. 杨新武，刘椿年
YANG Xin-wu, LIU Chun-nian