支持泛型程序设计的Apla-Java自动程序转换系统

本书包含引言、形式化软件开发方法概述、Apla->Java自动程序转换系统介绍、对原有系统的重构及改进、泛型机制在Apla->Java自动程序转换系统中的实现、结束语等章节。本书选取Java语言作为程序自动转换系统的目标语言，在课题组前期研究的基础上，研究和实现了支持泛型程序设计的Apla-Java自动程序转换系统。