《编译原理与技术》PPT课件

《《编译原理与技术》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、编译原理与技术西安电子科技大学软件工程研究所刘坚1教学内容与要求<1>内容本课程的内容是建立在本科<编译原理>基础上的，尽量避免重复本科已有的内容。为了整个课程的一致性，而且由于学习方法的螺旋式特性，一些已学过的内容也会有所涉及，但会在原有基础上提高一步。重点放在本科课程中没有涉及的领域。主要介绍如下内容，并在兼顾理论与实现两个方面上进行讨论。编译程序编写工具--lex和yacc：学会使用lex和yacc进行程序设计；词/语法分析器核心算法：有限自动机的有效构造算法和LALR（1）分析器的构造算法；语

2、法制导翻译：属性、L属性的自下而上计算；2教学内容与要求（续1）类型检查：类型理论的发展、类型与类型检查、多态处理、封装与继承的实现技术等，类型系统的形式化方法简介；动态语义：指称语义入门，原理及其应用；代码优化：局部与循环优化，全局数据流分析技术。<2>要求做适当作业，期末统一收缴一次，并进行一次作业讲解（在课程总复习中进行）。作业要求独立做（不计分）；也可以不做，但不要抄；若合作做，则几个人合交一份。做上机作业，实现一个Pascal子集编译程序的全过程：两个学生一组，可以采用任何类似的Lex/Ya

3、cc工具。上机作业计分（15％左右），重点考核上机报告和完成的软件。期终考试：闭卷考试。严格要求（按真实成绩给分）适当读参考文献。选一个课代表。3参考文献A.V.Aho，J.D.Ullman，“TheTheoryofParsing，Translation，andCompiling，VolumeI：Parsing，”Prentice-HallInc.1972A.V.Aho，J.D.Ullman，“TheTheoryofParsing，Translation，andCompiling，VolumeⅡ：Co

4、mpiling，”Prentice-HallInc.1973人民邮电出版社，Aho等，“编译原理技术与工具”（影印版）（主要参考书，可作教材，上机作业题目）高等教育出版社，AndrewW.Appel，“现代编译程序实现－Java语言”（影印版）机械工业出版社，StevenS.Muchnick，“高级编译器设计与实现”（影印版）<1>编译的相关理论与技术4参考文献（续）<1>程序设计语言原理与设计R.W.Sebesta"ConceptsofProgrammingLanguages",机械工业出版社（影印

5、版）TerrenceW.Pratt,MarvinV.Zelkowitz"ProgrammingLanguages-DesignandImplementation",thirdedition,Prentice-HallInternational,Inc.1996DavidA.Watt“ProgrammingLanguageSyntaxandSemantics，”PrenticeHallInc.1991<3>编译器构造AxelT.Schreiner,H.GeorgeFriedman,Jr."Introdu

6、ctiontoCompilerConstructionwithUNIX",PrenticeHall，EnglewoodCliffs,NJ07632，1985杨作梅译，(JobnR.Levine,TonyMason&DougBrown著),"lex与yacc"，机械工业出版社，2003"howtouselex&yacc"（互联网）5第一章概述1.1要求与目的<1>紧密相关的三个领域程序设计语言的应用－程序设计（PLA）程序设计语言的翻译－编译器的构造（PLT）程序设计语言的设计－语法、语义（PLD）<2

7、>CCC2002中的基本要求程序设计基础（PF）：程序设计基本结构、算法与问题求解、基本数据结构、递归、事件驱动程序设计。（PLA）程序设计语言（PL）：程序设计语言概论、虚拟机、语言翻译简介、声明和类型、抽象机制、面向对象程序设计（以上是核心）；函数程序设计、语言翻译系统、类型系统、程序设计语言的语义、程序设计语言的设计（以上是选修）。（PLA、PLT、PLD）61.2程序设计语言简述深刻理解程序设计语言的应用、翻译、设计等方面的基本原理与方法；学会用编译器编写工具（LEX/YACC）进行语言处理软

8、件的设计；初步认识动态语义的形式化描述方法。1.2程序设计语言简述编译器处理的对象是程序设计语言，因此在对程序设计语言了解的基础上和它们与编译器的关系上，有必要在以下几个方面再进行一些简单讨论。<3>目的71.2.1程序设计语言的发展从年代看50s～：Fortran、LISP、COBOL、Algol60/68...70s～：C、Pascal、Prolog、Smalltalk、Modula2...80s～：C++、Ada83/Ada95、Java、Modu