编译原理与技术-read.pptVIP

编译原理与技术 西安电子科技大学 软件工程研究所 刘坚 教学内容与要求 教学内容与要求（续1） 参考文献 参考文献（续） 第一章 概述1.1 要求与目的 1.2 程序设计语言简述 1.2.1 程序设计语言的发展 1.2.2 影响程序设计语言发展的因素 1.2.3 程序设计语言“好”的标准（续） 1.2.4 环境对语言的影响（对编译器的要求） 1.2.4 环境对语言的影响（续） 1.3 编译与解释 数据库查询问题 动态查询语句 1.4 程序设计语言的语法与语义 1.4.1 语法（续） 1.4.2 语义 1.4.2 语义（续） 1.4.3 为什么要精确定义语义 2005年2月25日（第一次课） 1.4.3 为什么要精确定义语义（续） 1.4.4 语义的形式化描述 1 静态语义（续） 2 动态语义 结 束 * 1 内容 本课程的内容是建立在本科编译原理基础上的，尽量避免重复本科已有的内容。 为了整个课程的一致性，而且由于学习方法的螺旋式特性，一些已学过的内容也会有所涉及，但会在原有基础上提高一步。重点放在本科课程中没有涉及的领域。 主要介绍如下内容，并在兼顾理论与实现两个方面上进行讨论。 编译程序编写工具--lex和yacc：学会使用lex和yacc进行程序设计； 词/语法分析器核心算法：有限自动机的有效构造算法和LALR（1）分析器的构造算法； 语法制导翻译：属性、L属性的自下而上计算； 类型检查：类型理论的发展、类型与类型检查、多态处理、封装与继承的实现技术等，类型系统的形式化方法简介； 动态语义：指称语义入门，原理及其应用； 代码优化：局部与循环优化，全局数据流分析技术。 2 要求 做适当作业，期末统一收缴一次，并进行一次作业讲解（在课程总复习中进行）。作业要求独立做（不计分）；也可以不做，但不要抄；若合作做，则几个人合交一份。 做上机作业，实现一个Pascal子集编译程序的全过程：两个学生一组，可以采用任何类似的Lex/Yacc工具。上机作业计分（15％左右），重点考核上机报告和完成的软件。 期终考试：闭卷考试。严格要求（按真实成绩给分） 适当读参考文献。 选一个课代表。 A.V.Aho，J.D.Ullman，“The Theory of Parsing，Translation，and Compiling，Volume I：Parsing，” Prentice-Hall Inc. 1972 A.V.Aho，J.D.Ullman，“The Theory of Parsing， Translation，and Compiling，Volume Ⅱ：Compiling，” Prentice-Hall Inc. 1973 人民邮电出版社， Aho等， “编译原理 技术与工具”（影印版）（主要参考书，可作教材，上机作业题目） 高等教育出版社，Andrew W.Appel，“现代编译程序实现－Java语言”（影印版） 机械工业出版社，Steven S.Muchnick，“高级编译器设计与实现” （影印版） 1 编译的相关理论与技术 1 程序设计语言原理与设计 R.W.SebestaConcepts of Programming Languages,机械工业出版社（影印版） Terrence W.Pratt, Marvin V.Zelkowitz Programming Languages - Design and Implementation, third edition, Prentice-Hall International, Inc. 1996 David A. Watt “Programming Language Syntax and Semantics，”Prentice Hall Inc. 1991 3 编译器构造 Axel T.Schreiner, H.George Friedman, Jr. Introduction to Compiler Construction with UNIX, Prentice Hall，Englewood Cliffs,NJ07632，1985 杨作梅译，(Jobn R.Levine, Tony Mason Doug Brown著), lex与yacc，机械工业出版社，2003 how to use lexyacc（互联网） 1 紧密相关的三个领域 程序设计语言的应用－程序设计（PLA） 程序设计语言的翻译－编译器的构造（PLT） 程序设计语言的设计－语法、语义（PLD） 2 CCC 2002中的基本要求 程序设计基础（PF）：程序设计基本结构、算法与问题求解、基本数据结构、递归、事件驱动程序设计。