编译器前端自动构造的研究与实现

编译器是高级语言的工作基础,它本身是一种复杂的程序.文中研究并实现了编译器前端的自动构造技术,能大大提高编译类软件的开发效率.重点讨论了如何合理设置接口,以便综合运用词法、语法分析器的自动构造工具LEX和YACC.提出了预置三级错误陷阱来分别俘获源程序词法、语法、语义错误的思想,能减少错误级联,并能更准确地报告错误的性质.作者已应用该技术编写出一个面向C语言的并行语言编译器前端,验证了该技术是可行的和高效的.     

程序设计语言的一种自动编译器

本文介绍一种简单而又直观的程序设计语言的编译器，我们主要讨论如何语义动作嵌入到文法产生式内，当分析过程时，如何执行相应语义子程序，以实现地程序设计语言的自动翻译。     

Microsoft C6.0编译器因优化带来的问题

Microsoft C 6.0是美国Microsoft公司开发的一个很优秀的C语言开发系统。它为了适应各种程序的不同需要,在编译程序将源文件代码编译形成目标文件代码的过程中,为用户提供了多种方式进行优化,而这些优化很有可能会对得到的可执行文件的操作产生影响。例如,以占用更多的存储空间的代价,可以将程序编译得具有较高的执行速度,而以较长的运行时间为代价则可以换取程序的紧凑性。在所有的Microsoft编译程序中,缺省的优化选择是:时间优化方式(Optimize for Time),即以较大的程序换取较高的执行速度。但这种缺省优化方式并不适用于所有的程序。     

编译器前端乘幂运算的实现与优化

乘幂运算是最基本的数学表达式之一,并且被大多数编译器支持,在高性能计算和密码算法中应用十分频繁。为了实现和优化乘幂运算人们提出了许多算法,比如加法链算法。该文描述了在编译器前端一个具体的新的算法,它实现了乘幂运算并且进行了优化,优化方法结合了静态最优加法链算法和Window算法。这个新的算法已经应用于GNUFortran95编译器(Gfortran),并取得良好效果。     

多目标交叉编译技术——GCC与Zephyr编译器构造的分析与比较

1 引言编译系统是任何计算机系统中不可缺少的重要部分。编译系统的研制因其技术复杂、难度较高而需要投入较多的人力、物力和花费较长的研制周期。过去编译器均是针对某一特定语言和目标机而编写的。随着计算机的飞速发展,过去那种编写编译器的方法已很难满足需要。在八十年代初,针对各种程序设计语言的后端具有较大共性的特点,国外相继开发了支持多种语言的编译系统,并很快成为各计算机公司编译系统采用的通用方法。在这种编译系统中,每种语言具有独立的     

自动生成前端编译程序的一种方法

本文构造的ＸＹＺ／ＮＧＡＥ系统是建立在属性文法基础上的前端编译程序自动生成系统。本文在概念了属性文法及其描述语言之后，简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施。     

用JavaCC构造编译器的方法

介绍了编译器自动生成器的原理，并分析了Sun公司提供的一个编译器自动生成器工具——JavaCC，最后，通过设计一个简单的命令行计算器说明了如何利用JavaCC构造编译器。     

Cluster环境下p—HPF编译器支持的并行计算范式

p-HPF是研制的一个符合HPF（high performance Fortran)规范的并行编译系统,以HPF为核心实现多范式并行计算是开发大型并行应用系统的基础。首先论述了Cluster环境下的并行运行范式,包括farm parallel范式、流水线并行、流循环并行、基于数据并行和组合数据并行等,抽象分析了它们的性能,接着给出了利用p-HPF的外部过程机制、任务并行机制以以FORALL,INDEPENDENT DO等典型并行语句实现几种典型并行范式的方法,给出了实例程序,对实例进行了实际运行并对运行结果进行了分析。     

一个IDL编译器的设计与实现

阐述接口定义语言（ＩＤＬ）编译器在ＣＯＲＢＡ开发模型中的作用．提出了ＩＤＬ编译器的开发模型,讨论了在编译器实现过程中的技术问题．     

面向嵌入式系统的编译器设计及实现

监控组态软件在工业控制中的应用越来越广泛,对用户编程接口的支持显得日益重要,本文对组态软件中用户编程接口进行了研究,在充分考虑监控组态软件行业应用特点的基础上,设计了一种组态语言——INVA语言,对其编译器及开发环境的实现方案进行论述,并对语言设计、语法分析、语义分析及编译器的实现进行了深入的讨论,并给出了其实现方案。该方案已经成功运用辽宁省教育厅重大项目“工业现场智能化设备的嵌入式软件构件平台研究”中,证明了该编译器的有效性。     

基于面向对象技术的MiniC编译器的设计与实现

针对传统编译器过于抽象复杂的不足,本文提出MiniC实例语言,采用面向对象技术实现该语言的编译器。MiniC编译器可以演示复杂的程序分析过程,给出编译各阶段的详细分析结果,使编译原理中的抽象内容可视化。实际应用表明,MiniC编译器在促进人们对编译理论的理解和提高系统软件开发能力方面能够发挥重要作用。     

反馈式编译实现机制的研究

最大程度地优化代码和挖掘应用程序的潜在性能,是高性能编译器设计中非常重要的一个任务。基于profiling的反馈式编译优化是一种有效的编译优化模式,它通过程序运行时的剖面信息来指导对代码的优化。本文总结了GCC在实现这种模式上的一般流程、所遇到的问题和解决方法,深入分析了GCC4.0的插桩方法、反馈数据文件格式,以及在
中间语言中标注反馈信息等的实现机制。     

一种增强Verilog建模能力的编译预处理器

文章讨论了一种增强Verilog硬件描述语言建模能力的编译预处理器的设计问题。VerilogHDL是专用集成电路设计中应用广泛的一种硬件描述语言,它尚存在一些缺陷。编译预处理器的功能是增强数字系统设计中对模块输入输出端口阵列等参数化设计的能力。在分析IEEEVerilog1364—2001建模特性的基础上,基于LEX和YACC设计出专门的编译预处理器,显著降低了程序规模,可以方便地嵌入其他仿真或综合工具中,增强了VerilogHDL参数化的建模特性。     

编译错误的一种处理策略

本文提出了一种独特的编译错误处理方法，其特点是将错误信息组成一个独立的文件。     

EQS ACL编译器的设计与实现

EQS是由美国加州大学洛杉矶分校（UCLA）心理系教授Peter M.Bentler领导下的小组开发的一个面向应用分析人员的通用数据分析软件.其用户通常并非为计算机专业人士,使用传统语言编写程序过程繁琐,代码冗长,不利于分析人员的日常研究分析工作,尤其是对于一些涉及大量数值计算的工作,故提供一个运算符丰富、语言简洁紧凑、使用方便灵活的开发语言势在必行.文中提出一种满足数据分析系统EQS的用户要求的代数计算语言ACL,并实现了其中的编译器模块.     

Prolog编译的高效实现

本文提出了一种用向量链接表表示Prolog 中表的方法,一个有效的抽象指令集以及栈压缩优化技术。在主频为8MHz 的Intol 80286微机上应用这些技术实现的Prolog 编译系统的速度大约为100 KLIPS。     

可信编译理论及其核心实现技术:研究综述

编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。     

基于LCC的LEAP编译器设计与实现

开发并行体系结构--LEAP之上的编译器是验证LEAP正确性和有效性的重要基础。因此,我们设计并实现了LEAP-CC。本文全面介绍了LEAP-CC的设计方案和实现过程,并给出了实现中的一些关键技术。最后,本文还就一个测试程序给出了LEAP-CC的编译结果。测试结果证明,LEAP-CC方案合理,功能无误。