摘要：类型系统是一种设计和研究程序设计语言的形式化方法和工具 ,既可在语言设计之初构造 ,便于严格、准确、正确地设计实现语言 ;也可在语言实现后构造 ,为研究语言的语义及其它性质建立模型 .详细讨论了类型系统的基本构造和实现 ,通过基于图重写的函数式语言SClean的类型系统 。

摘要：Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。

摘要：移动Agent技术包括迁移机制、通信设施和安全体系等3个方面的内容,其中迁移机制提供了Agent在网络上移动和执行的基本支撑,也是移动Agent的基础核心技术.主要在研究Agent迁移机制的内在关系的基础上,提出一种基于类型推理的Agent强迁移的优化设计方案,设计和开发了支持Agent强迁移的Java开发包***.该方法能较好地不必修改Java虚拟机、也不额外增加开销就可以解决Agent强迁移问题,具有较好的移植性和完整性.