图书介绍
支持泛型程序设计的Apla-Java自动程序转换系统PDF|Epub|txt|kindle电子书版本网盘下载
- 石海鹤著 著
- 出版社： 南昌：江西高校出版社
- ISBN：9787549324231
- 出版时间：2014
- 标注页数：82页
- 文件大小：17MB
- 文件页数：88页
- 主题词：JAVA语言－程序设计－高等学校－教材
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
支持泛型程序设计的Apla-Java自动程序转换系统PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
引 言1
第一章 形式化软件开发方法概述5
1.1 形式化方法5
1.2 形式化软件开发方法及其研究意义5
1.3 国内外研究现状及存在的问题7
第二章 Apla→Java自动程序转换系统介绍16
2.1 系统结构16
2.2 系统已有功能17
2.3 系统运行和使用17
2.4 系统有待完善之处18
第三章 对原有系统的重构及改进19
3.1 对原有系统的重构19
3.2 Java语言及Java程序性能优化27
3.3 系统的完善与新特性的添加32
第四章 泛型机制在Apla→Java自动程序转换系统中的实现34
4.1 泛型程序设计基础知识34
4.2 Apla语言中的泛型程序设计35
4.3 Java语言泛型程序设计的实现44
4.4 Apla中泛型机制在转换系统中的实现45
4.5 系统运行效果61
第五章 结束语74
5.1 本书工作总结74
5.2 进一步工作75
5.3 展望76
参考文献78