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

【书名】 支持泛型程序设计的自动程序转换系统
【作者】 石海鹤
【出版社】 南昌江西高校出版社
【出版时间】 2014.03
【关键词】 语言程序设计高等学校教材
【摘要描述】 本书包含引言、形式化软件开发方法概述、自动程序转换系统介绍、对原有系统的重构及改进、泛型机制在自动程序转换系统中的实现、结束语等章节。
本书选取语言作为程序自动转换系统的目标语言,在课题组前期研究的基础上,研究和实现了支持泛型程序设计的自动程序转换系统。
【中国图书分类号】 TP312

在线工具导航