命令解释程序的国际化

软件国际化是目前国际上流行的软件本地化方法，作者使用国际化的方法成功地对ＵＮＩＸ中常用的解释程序ｋｓｈ和ｓｈ进行了本地化。     

一个面向语义的解释器自动生成技术

本文给出从指称语义自动生成解释器后端的一种技术.解释器被表示成PASCAL_like形式.     

COSIX BC的设计与实现

ＢＣ是一种支持任意精度算术运算的Ｃ风格语言。本文介绍在国产ＵＮＩＸ版本运行的ＣＯＳＩＸ ＢＣ的设计及其实现，着重描述了它的主要设计特点以及对传统ＢＣ的改进。并对它的一个实现版本进行性能方面的评价。     

基于PVM的并行Lisp机制与实现

本文提出了一种基于分布存储结构和消息传递平台的并行Ｌｉｓｐ语言，给出了Ｌｉｓｐ语言的并行机制，举例说明了并行Ｌｉｓｐ程序的设计方法，并用一个实际系统ＰＡＲＬｉｓｐ阐明了在ＰＶＭ上的主要实现方法，给出了性能测试结果。     

基于Transputer的逻辑程序解释器的设计与实现

本文论述一个在Ｔｒａｎｓｐｕｔｅｒ环境上设计并实现的一阶谓词逻辑程序解释器ＩＦＬＰ，着重讨论了其核心词法分析部分与合一回溯算法部分的实现机制，并给出相庆的运行实例。ＩＦＬＰ具有程序动态跟踪功能，能够随时指示问题求解过程中的逻辑推理步骤和解题轨迹，有助于用户了解程序的动态行为和调试复杂的逻辑程序。