好文档 - 专业文书写作范文服务资料分享网站

编译原理高级语言解释系统(希赛教育基础学院)

天下 分享 时间: 加入收藏 我要投稿 点赞

高级语言解释系统

为了实此刻一个运算机上运行高级语言的程序,主要有两个途径:第一个途径是把该程序翻译为那个运算机的指令代码序列,这就是咱们已经描述的编译进程。第二个途径是编写一个程序,它解释所碰到的高级语言程序中的语句而且完成这些语句的动作,如此的程序就叫解释程序。从功能上说,一个解释程序能让运算机执行高级语言。它与编译程序的主要不同是它不生成目标代码,它每碰到一个语句,就要对那个语句进行分析以决定语句的含义,执行相应的动作。下面的图示意了它的工作机理。

解释程序直接对源程序中的语句进行分析,执行其隐含的操作。 如执行下面的程序:

解释程序直接输出结果 4。而编译程序则生成目标代码,诸如: movf #2, b movf b , R1 addf #2, R1 movf R1, a

编译系统生成的目标代码由计算机执行才能生成结果。使用编译系统时会区分编译阶段和运行阶段,编译阶段对源程序进行编译,运行阶段是指目标程序的运行。而解释系统则是边解释边执行。从存储组织来看,在编译阶段,存储区一般要有源程序缓冲区,目标代码缓冲区,名字表以及编译程序使用的源程序中间表示和各种表格等等。在运行阶段,存储区只有目标代码和数据区了。对解释系统来说,在它工作的自始至终,存储区中要有源程序,名字表,标号表等表格,输入输出缓冲区以及数据区等等...

编译技术的进展和应用

听说第一个编译程序的出现是在20世纪50年代初期,很难讲出确切的时刻,因为当初大量的实验和实现工作是由不同的小组独立完成的,多数初期的编译工作是将算术公式翻译成机械代码。用此刻的标准来衡量,那时的编译程序能完成的工作十分初步,如只允许简单的单目运算,数据元素的命名方式有很多限制。但是它们奠定了对高级语言编译系统的研究和开发的基础。20世纪50年代中期出现了FORTRAN等一批高级语言,相应的一批编译系统开发成功。随着编译技术的进展和社会对编译程序需求的不断增加,20世纪50年代末有人开始研究编译程序的自动生成工具,提出并研制编译程序的编译程序。它的功能是

以任一语言的词法规则、语法规则和语义解释动身,自动产生该语言的编译程序。目前很多自动生成工具已普遍利用,如词法分析程序的生成系统LEX,语法分析程序的生成系统YACC等。20世纪60年代起,不断有人利用自展技术来构造编译程序。自展的主要特征是用被编译的语言来书写该语言自身的编译程序。1971年,PASCAL的编译程序用自展技术生成后,其影响就愈来愈大。

随着并行技术和并行语言的发展,处理并行语言的并行编译技术,将串行程序转换成并行程序的自动并行编译技术也正在深入研究之中。 另外嵌入式应用迅速增长的需求,推动了交叉编译技术的发展.还有系统芯片设计方法和关键EDA技术的研究,也带动了专用语言VHDL等及其编译技术的不断深化。

编译实现方式的进展 -手工 机器语言 汇编

系统程序设计语言 -自动构造工具lex yacc gcc 推动编译技术进展的因素 语言范型(计算模式) 计算机体系结构 语言范型

-命令式(imperative language) -应用式(applicative) -基于规则的(rule-based) -面向对象的(object-oriented) -并行计算(parallel computing) 体系结构

-万诺曼机体系结构 -并行体系结构 -嵌入系统 编译程序执行环境 -批处置 -交互环境 -嵌入系统环境

为了提高软件开发的效率和保证质量,人们除要在软件工程中对软件开发进程所要遵循的规范化或标准化外,还尽可能利用先进的软件开发技术和相应的软件工具,而大部份软件工具的开发,常常要用到编译技术和方式。实际上编译程序本身也是一种软件开发工具。为了提高编程效率,缩短调试时刻,软件工作人员研制了很多对源程序处置的工具。这些工具的开发不同程度地用到编译技术和方式。下面仅是一些例子。

一、语言的结构化编辑器 结构化编辑器是引导用户在语言的语法制导下编制程序,能自动地提供关键字和与其匹配的关键字,如if后必需有then,begin和end的配对,左右括号的配对等,如此能够减少语法上的错误,可加速对源程序的调试,提高效率和质量。

2、语言程序的调试工具 调试是软件开发进程中一个重要环节,结构化编辑器只能解决语法错误的问题,而对一个已通过编译的程序来讲,需进一步了解的是程序执行的结果与编程人员的用意是不是一致,程序的执行是不是实现估计的算法和功能。这种对算法的错误或程序没能反映算法的功能等错误就需用调试器来协助解决。调试器的功能愈强,实现愈复杂,但它必需与语法分析、语义处置有紧密联系。

3、语言程序测试工具 语言程序的测试工具有两种:静态分析器和动态测试器

静态分析器是对源程序进行静态地分析。它对源程序进行语法分析并制定相应表格,检查变量定值与引用的关系。如某变量未被赋值就被引用,或定值后未被引用,或多余的源代码等一些编译程序的语法分析发觉不了的错误。动态测试工具是在源程序的适当位置插入某些信息,并用测试用例记录(显示语句或函数)程序运行时的实际路径。将运行结果与期望的结果进行比较分析,帮忙编程人员查找问题。这种测试工具在国内已有开发,如FORTRAN语言和C语言的测试工具。

4、高级语言之间的转换工具 由于运算机硬件的不断更新换代,更新更好的程序设计语言的推出为提高运算机的利用效率提供了良好条件,但是一些已有的超级成熟的软件如安在新机械新语言情形下利用呢?为了减少从头编制程序所花费的人力和时刻,就要解决如何把一种高级语言转换成另一种高级语言,乃至汇编语言转换成高级语言的问题。这种转换工作要对被转换的语言进行词法和语法分析,只不过生成的目口号言是另一种高级语言算了。这与实现一个完整的编译程序相较工作量要少些。在国内已研制出C,PASCAL,FORTRAN到Ada的翻译器和IBM 4700汇编到C的转换器,其效果专门好。最近几年来,由于JAVA语言的进展,国内外也已研制出很多其他语言到JAVA的转换系统,如c到JAVA的转换系统,cobol到JAVA的转换系统等等。

【本章小结】

编译原理高级语言解释系统(希赛教育基础学院)

高级语言解释系统为了实此刻一个运算机上运行高级语言的程序,主要有两个途径:第一个途径是把该程序翻译为那个运算机的指令代码序列,这就是咱们已经描述的编译进程。第二个途径是编写一个程序,它解释所碰到的高级语言程序中的语句而且完成这些语句的动作,如此的程序就叫解释程序。从功能上说,一个解释程序能让运算机执行高级语言。它与编译程序的主要不同是它不生成目标代码,它每碰到一个语句,
推荐度:
点击下载文档文档为doc格式
2x47g6i58n92i2p9mey92mdyx4233001cau
领取福利

微信扫码领取福利

微信扫码分享