原副标题：画册所推荐 | 校对控制技术与应用领域（微课音频版·专业课程表版）
作者：杨金民 陈婉莹 黎文伟
定价：69.90元
编辑所推荐
校对器是连接计算机应用软件与高级面向对象的公路桥，是此基础应用软件的核心思想。正因为如此，校对控制技术在计算机类专业的专科培养中倍受重视。不过，校对控制技术一直被学生视为专科阶段最里韦县的两门专业课程。因校对方式论的明确性，新手很难理解和掌握。
要使听众能体悟和灵活应用领域校对控制技术，两本好的教科书需要透过众所周知事例来演绎校对基本原理的涵义，结合计算机科学建设科学知识来化解其中面临的关键难题。
而两本书《校对控制技术与应用领域》良好地兼具了这三个层面，从实际工程建设难题出发，透过众所周知事例展现校对中工程建设难题的特征与特性，然后基于方式论得出工程建设逻辑计划和工程建设实现计划，将校对基本原理中的数学方式论和演算法小型化，以此来化抽象化为具体，化高深为浅显。再融合计算机科学建设科学知识，探讨化解计划的改进，使其不仅能化解功能需求难题，还具备一些其他良好的工程建设个人风格，如精确性、广适通用性、INS13ZD、可扩展性、可配置性、可装配性等。
两本书亮点
（1）注重科学知识前后相关性的阐明。
例如，校对中的句法内部结构预测和系统预测，在现有教科书中都被视为两个彼此独立的科学知识体系，似乎不存在联系。其实它们面对的方式论难题完全相同，解的方式论此基础完全相同，解的策略和方式也完全相同。两者的不同点在于，句法内部结构预测处置非线性形成难题，而系统预测处置抽象化化形成难题。当树只有三层时，小树的子节点呈非线性内部结构，即非线性内部结构可以被视为genomes的两个例外情况。因此，系统预测方式能用于句法内部结构预测。用句法中的句法来叙述词的非线性形成时，须要表述两个非真值，税金句法为LR(0)句法。两本书也阐明了句法内部结构预测方式未被系统预测方式代替的原因。用程序语言来叙述句法内部结构，两个非真值都未引入，税金DFA要比透过句法税金的DFA简单。
（2）强调科学知识来龙去脉和前因后果的阐明。
校对的演化经历了三代。第一代是校对器前后端的一体化，置于应用软件开发方，众所周知代表有C和C++。第二代是校对器前后端分离，前端依旧置于开发方，但后端则前移至用户端机器上，众所周知代表有Java。第三代是校对器前后端都从开发方前移至用户端机器上，众所周知代表有Java。两本书回答了为什么会有这种演变，另外也阐明了即时编译（JIT）、异步函数等这些控制技术和概念的前因后果，力求与时俱进。
（3）突出面向对象语言的校对。
面向对象语言从面向过程语言发展而来，类与其实例对象是其中的核心概念，多态则是其灵魂。两本书针对面向对象语言，提出了两个校对实现框架。该框架既简洁又清晰，将全局变量视为两个根类（也叫起始类）的成员变量，将全局函数视为根类的成员函数，于是也适合面向过程语言的校对。在该框架下，面向过程语言成了面向对象语言的两个特例。两本书也透过两个众所周知事例，阐明了面向对象编程中遇到的难题，演绎了多态的来龙去脉，给出了一种实现计划。
内容简介
两本书以全新的视角透视校对控制技术，围绕校对中的句法内部结构预测、系统预测、句法制导的翻译、语义预测和中间代码生成、运行环境和目标代码生成、代码优化这6个核心难题展开，共分7章。两本书重点针对校对器构造方式学展开预测和论述，以阐明校对控制技术的涵义，展现其优美性和艺术性。两本书也探索控制技术演进背后的动因，追踪业界前沿控制技术及其发展趋势，帮助听众灵活应对IT控制技术发展与变迁所带来的挑战。两本书内容新颖、浅显易懂，特别适合作为高等院校计算机及相关专业的教科书，也可以作为工程建设控制技术培训的教科书。两本书也非常适合科研人员和工程建设控制技术人员阅读，从中感悟校对控制技术的涵义，体会其精妙之处。
作者简介
杨金民
湖南大学信息科学与工程建设学院教授。主讲校对基本原理与控制技术、数据库系统、微服务与云计算、应用软件系统集成等专业课程。获湖南省科技进步二等奖2项、三等奖3项；主持国家自然科学基金、发改委科技攻关、湖南省科技重点研发等科研项目5项，企业科技攻关项目10余项。
发表3篇教改论文，出版教科书2部。
陈 果
湖南大学信息科学与工程建设学院教授。曾任职微软亚洲研究院。主讲编译基本原理、云计算控制技术等专业课程，获全国高校计算机专业优秀教师、湖南省信息化教学竞赛一等奖、湖南省一流专业课程负责人。在高性能数据中心网络方面的研究成果应用领域于华为鲲鹏芯片、腾讯自研交换机、腾讯CDN网络和百度无线搜索等。曾荣获华为最佳控制技术合作教授、湖南省科技进步二等奖。
黎文伟
湖南大学信息科学与工程建设学院副教授。主讲操作系统基本原理、校对基本原理、校对控制技术等专业课程，曾主持或参与多项国家自然科学基金、国家重大研究计划等项目，在国内外权威学术期刊及学术会议发表论文100余篇，获得国家发明专利5项，获得应用软件著作权登记6项。
配套资源
两本书配有丰富的补充配套资源。
1. 专业课程配套音频；
2. 线上专业课程表系统；
3. 随书纸质试卷一份（含8套期末考试题）；
4. 补充试卷及参考答案（10套）；
5. 全部配套课件；
6. (教师用)教学大纲、教学进度表、教学日历；
7. 小班讨论主题；
8. 实验指导书。
目录
向上滑动阅览
第1章校对控制技术概述1
1.1计算模型和机器语言的特性2
1.2高级面向对象及其特性4
1.3校对方式及过程6
1.3.1源程序的形成特性6
1.3.2校对过程7
1.3.3校对器的内部结构特性12
1.4校对器构造方式学13
1.5校对前对源程序文本的预处置15
1.6程序调试17
1.7校对执行和解释执行18
1.8校对方式的演进20
1.9虚拟机22
1.10面向对象的发展历程23
1.11当前主流的校对器产品24
1.12校对科学知识的广泛应用领域25
1.13本章小结26
科学知识拓展：别名的概述26
习题28
第2章句法内部结构预测29
2.1高级面向对象的词形成特性29
2.2句法内部结构的叙述31
2.2.1正则语言和正则运算31
2.2.2C语言句法内部结构的正则叙述33
2.2.3句法内部结构分析的实现框架34
2.2.4程序语言的含义35
2.3基于状态转换图的句法内部结构预测36
2.3.1基于状态转换图的匹配判断36
2.3.2状态转换图的特征37
2.3.3基于状态转换图的通用句法内部结构预测器39
2.4正则表达式的状态转换图自动生成方式40
2.4.1程序语言的NFA原生构造方式41
2.4.2基于NFA的匹配判断演算法44
2.4.3基于NFA的DFA构造方式46
2.4.4程序语言的最简NFA构造法49
2.4.5特殊程序语言的最简NFA构造54
2.4.6NFA和DFA中状态属性值的确定方式56
2.4.7程序语言之间的包含关系58
2.5程序语言及其DFA在文本搜索中的应用领域61
2.6本章小结62
知识拓展：NFA和DFA构造中涉及的数据内部结构63
习题65
◆校对控制技术与应用领域(微课音频版·专业课程表版)目录◆第3章系统预测67
3.1程序的genomes特性68
3.2语言的句法叙述69
3.3词串的系统预测树及其构造策略73
3.4句法叙述和句法内部结构叙述的比较75
3.5自顶向下和最左推导的系统预测78
3.5.1自顶向下和最左推导的系统预测过程78
3.5.2左递归及其消除方式80
3.5.3左公因子及其提取方式83
3.5.4推导中的产生式选择84
3.5.5FIRST和FOLLOW函数值解演算法87
3.5.6LL（1）句法特性及其系统预测表93
3.5.7二义性句法的可改造性94
3.5.8基于LL（1）系统预测表和符号栈的句法预测器通用代码95
3.6自底向上的系统预测98
3.6.1自底向上的系统预测及有待化解的关键难题99
3.6.2句法的DFA构造方式100
3.6.3基于状态栈和句法DFA的LR系统预测104
3.6.4基于FOLLOW函数值的冲突化解方式107
3.6.5基于系统预测表的LR系统预测通用代码108
3.6.6基于FOLLOW精确化的冲突化解方式112
3.7LL系统预测和LR系统预测的对比116
3.8LR句法设计116
3.8.1DFA物理含义的挖掘和应用领域117
3.8.2尽量减少句法中的非真值数量119
3.8.3非真值语义的宽泛化121
3.8.4句法的二义性及其消除方式124
3.8.5LALR（1）型DFA的收益和代价124
3.8.6句法的上下文无关性126
3.9LR系统预测中错误的恢复127
3.10本章小结129
科学知识拓展：系统预测表构造中涉及的数据内部结构130
习题132
第4章句法制导的翻译135
4.1LR预测中的句法制导翻译136
4.1.1LR预测中的句法制导翻译简介136
4.1.2LR预测中句法制导的翻译实现框架139
4.1.3句法内部结构预测器构造工具的实现142
4.2LL预测中句法制导的翻译149
4.2.1LL预测中句法制导的翻译简介149
4.2.2LL预测中句法制导的翻译实现框架150
4.3从LR型SDT得出LL型SDT156
4.4LR系统预测中对继承属性的处置158
4.5本章小结161
习题162
第5章语义预测与中间代码生成164
5.1语义预测和中间代码生成简介165
5.1.1程序的层级内部结构165
5.1.2类型的语义预测167
5.1.3变量的语义预测170
5.1.4函数的语义预测173
5.1.5中间语言简介174
5.1.6中间代码生成简介176
5.2类型和变量的语义预测框架179
5.3类型和变量表述的SDT设计180
5.3.1高级面向对象中的指针语义180
5.3.2类型和变量表述的文法设计182
5.3.3类型和变量表述的语义预测及其SDD设计183
5.3.4类型和变量表述的语义预测SDT设计185
5.4变量使用的SDT设计190
5.4.1变量地址的确定方式190
5.4.2叙述变量使用的句法192
5.4.3变量使用的语义预测和中间代码生成SDD设计194
5.4.4变量使用的语义预测和中间代码生成SDT设计197
5.5运算的语义预测和中间代码生成201
5.6类型系统205
5.7分支语句的中间代码生成206
5.7.1分支语句的句法207
5.7.2分支语句的中间代码生成SDD设计209
5.7.3分支语句的中间代码生成SDT设计212
5.7.4分支语句中break和continue语句的处置217
5.8函数调用的语义预测和中间代码生成218
5.9本章小结219
习题220
第6章运行环境和目标代码生成222
6.1函数调用223
6.1.1局部变量的静态存储分配计划224
6.1.2局部变量的动态存储分配计划225
6.1.3相对寻址方式带来的好处228
6.1.4形参和数组的动态性229
6.2应用软件集成230
6.2.1源代码级的应用软件集成231
6.2.2二进制可执行文件级的应用软件集成233
6.2.3跨模块内存访问带来的难题及化解方式235
6.2.4静态链接与动态链接237
6.3应用软件调试238
6.3.1程序之间的交互238
6.3.2运行环境的构建239
6.3.3调试器与被调程序之间的协同交互241
6.4垃圾自动回收245
6.4.1基于引用记数的垃圾回收方式246
6.5异常处置250
6.6面向对象中的多态252
6.6.1面向对象编程难题的阐明253
6.6.2基于代理的解耦和封装实现计划255
6.6.3基于多态的面向对象编程难题化解计划256
6.6.4接口特性259
6.7本章小结260
习题262
第7章代码优化264
7.1中间代码的优化265
7.1.1基本块和流图265
7.1.2中间代码优化途径267
7.2目标代码优化此基础270
7.2.1计算机特性270
7.2.2目标语言272
7.2.3目标代码生成与优化275
7.3寄存器分配276
7.3.1活变量标识演算法276
7.3.2基于图着色的寄存器分配278
7.3.3变量溢出280
7.3.4内存数据的加载和刷新281
7.3.5寄存器腾空和变量溢出283
7.3.6同步函数和异步函数284
7.4基于机器其他特性的代码优化285
7.4.1基于指令流水线处置的代码优化285
7.4.2基于高速缓存的代码优化286
7.4.3基于多核处置器的代码优化287
7.4.4大数据处置和云计算中的优化288
7.5本章小结289
习题289
参考文献291
扫码优惠购书
