一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

Sun 3/4专用协处理器PLC系统中Common Lisp编译器的代码优化措施

在简单介绍Sun3/4专用协处理器PLC系统及Common Lisp编译器后,着重讨论了Common Lisp编译器中的代码优化措施,包括优化无用代码、优化程序结构、优化转移指令、优化函数调用环境保存及恢复指令、优化寄存器分配、优化尾递归函数调用等。实例编译结果和模拟运行结果表明:与不经优化指令相比,经过优化后的指令代码长度平均减少25％,运行速度平均提高20％,为提高PLC系统的整体性能提供了一守的保证。     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

UHDL语言及其编译器的设计与实现

本文介绍了一种通用硬件描述语言——UHDL及其编译器的设计与实现。该语言具有多层次硬件描述能力,良好的程序设计风格和丰富的数据类型,能够支持从系统级到门级的模拟过程。该语言编译器已在MICRO—VAXⅡ上用C语言实现。为了较好说明UHDL语言及其编译器的性能,本文各部分均给出了相应的示例。     

一种源源编译控制流优化方法

源源编译器是一种对源代码进行重构和分析的工具,在程序设计语言研究领域有着广泛的应用。给出了一种源源编译的控制流结构优化方法。方法结合编译结构分析,对于可化简合并的典型控制流结构,进行结构分析;经数据流分析满足优化条件后,实现基本块的合并。优化后程序的结构更加清晰,可读性更好。方法在SUIF编译器上实现,经使用Olden基准测试程序试验,有效提高了源代码的翻译质量。     

并行程序控制流图可视化的实现

介绍了并行化编译器,在研制并行化编译器过程中,实现了程序控制流图的可视化。着重分析了抽旬语法树（ＡＳＴ）中的控制流信息,给出了两种语句节点定位算法,在Ｘ－ｗｉｎｄｏｗ下实现了图形界面。     

一种开放式软件研制环境的实现

介绍了并行化编译器,在研制并行化编译器过程中,实现了一种开放式软件研制环境。主要分析了抽象语法树（AST）,讨论了磁盘文件的结构及AST的写入和复原技术。     

美国空军标准语言JOVIAL的分析与评价

JOVIAL语言是美国空军唯一的标准语言。本文根据作者从事军用计算机语言研究的经验,从可靠性、可读性、效率、可维护性、可移植性、可用性、简明性、抽象性以及实现等角度对JOVIAL进行了分析、评价,并将JOVIAL与Pascal、Ada等语言进行了适当的比较,最后指出了作为军用语言的JOVIAL还缺少的语言设施。     

基于模糊控制的AIC机器人编译算法研究

为了满足烹饪机器人菜肴开发的需要,开辟烹饪机器人复现厨师操作知识的新途径。提出了基于模糊控制菜肴编译算法的新方法,对不同操作参数下烹饪机器人完成的菜肴进行评分,编译完成一个接近最优的菜肴工艺文件。解决了烹饪机器人烹饪工艺数字化、最优化问题。实验表明：该编译算法可逼近烹饪工艺的最优参数,能满足中式菜肴烹饪工艺标准化的需求。