摘要：Monad的研究，目前集中在函数语言领域，且主要研究本身的内部形式和性质等问题，而对Monad与实际程序设计语言之间的关系，以及如何用Monad具体构造程序，如何将Monad应用于软件形式化等方面研究得甚少．探讨了Monad技术与OO技术之间的关系，主要研究Monad与Class之间的关系，并给出从Monad到Class（C＋＋）的一种转换方法．

摘要：　　一前言　　Action演算簇(action calculi)作为描述一大类并发交互行为模型的数学框架[1,2],是具有某些相同特性的一类演算的集合,其中一个具体的演算称为action演算.Action演算可以有三种不同的表示方式,其中分子形式可以说是项代数的形式的一种范式,体现了一种自然的、模块化的表达方式,非常适合于程序设计.……

摘要：ＯＯＦＬ是我们设计的一种面向对象的函数式语言，该语言具有对象式语言和函数式语言的优点。本文详细介绍了ＯＯＦＬ到Ｃ＋＋的转换技术，构造了ＯＯＦＬ语言的元程序设计环境，探讨了对象函数式语言的一些实现方法。

摘要：Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把g演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(Kg),然后给出了从g演算到AC(Kg)转换的形式描述,最后在定义AC(Kg)的可观察性、弱互模拟关系和弱等价关系的基础上,以p演算为中间表示,证明了这种转换保持了g演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把g演算与其他并发模型结合并进行比较提供了前提.

摘要：本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．

摘要：元程序设计系统是进行元程序设计的有效工具。C_MPS(CMetaProgra-mming System)是我们在PC机上开发的C语言的元程序设计系统,本文介绍了该系统的设计思想和实现技术。

摘要：Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器,那么既方便了用户也扩充了1倍原有的Monad库.鉴于这种思想,用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统.另外,用户构造Monad不仅要花费较多的时间,而且写出的Monad多态函数往往不满足Monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的Monad自动产生另一种类型的Monad的重要意义.

摘要：通过定义一个简单的反射语言 ,给出了这种反射语言的一种基于 Monad的解释器构造技术 ,并以 Haskell语言实现了这种语言的解释器。

摘要：ＴＰ_ＳＤＤＴ是ＴｕｒｂｏＰＡＳＣＡＬ环境中一个有效的软件工具，凡是与语法有关的软件开发工作，如语法分析、无级操作和部分求值等，均可利用ＴＰ_ＳＤＤＴ来完成。本文介绍了ＴＰ_ＳＤＤＴ的设计思想及实现技术。ＴＰ_ＳＤＤＴ已在微机上实现。

摘要：本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。