内容简介
编技术是计算机科学领域的一个重要分支，经过长时间的发展，当前编技术的重点是中间过程的程序优化和后端代码的生成。本书主要内容分为8章。第1章从体系结构发展对编技术的影响，引出多面体模型及其研究意义。第2章介绍了多面体模型的数学基础，包括相关的定义、定理和所需要的数学方法。第3章介绍了多面体模型对程序进行优化和代码生成的基本前提，即依赖关系的定义、性质及其测试和分析方法。第4章详解了多面体模型中经典的Pluto调度算法，以及循环变换。第5章就多面体模型面向程序并行性的研究进行了梳理和归纳，对各种不同的循环分块形状实现原理进行了阐述。第6章针对如何利用局部性原理在多面体模型中进行优化进行了介绍。第7章介绍了根据多面体模型的数学抽象描述生成抽象语法树表示的方法。第8章介绍了多面体模型及其相关理论的近期新进展。
本书是计算机科学与技术专业课程的教学参考书，适用于计算机和软件工程专......