用GAG开发ADA前端编译器的研究

用GAG的基本原理和属性文法的基本理论，对GAG输入文件中的DIANAGENERATION部分作了研究，提出了一种用GAG开发具有生成DIANA属性树功能的ADA前端编译器的实现方案，并对DIANA的内部表示进行了设计，给出了一种从DIANA内部表示向外部表示转换的方法。

通用可扩展编译器前端生成器的设计与实现

传统的编译器前端生成器由于结构和算法等原因, 通用性和可扩展性较差. 为解决这一问题, 提出并实现一种通用可扩展编译器前端生成器JLUCC. JLUCC使用面向对象、反射和设计模式等技术, 具有通用、可扩展和易于使用等特点. 通过使用JLUCC开发C/ATLAS语言编译器的实践, 验证了JLUCC的有效性.

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

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

对编译器前端生成器Front的语法和语义扩展

针对Front相对Elegant属性语法规则在语义表达方面的不足,采用嵌入文本、增加可选结构等方式,对Front的语法和语义进行了有效扩展。用其开发了Modelica仿真建模语言编译器前端、编译了ScanGen、Diagrams及Front自身的编译前端,结果表明,所采用的扩展思路简便易行,扩展后的Front基本具备与Elegant属性语法相当的语义表达能力,能够满足复杂语言编译器前端的需要,且保持与扩展前版本的后向兼容性。

同步语言Lustre的编译前端的设计与实现

同步语言Lustre所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非常严重的后果。系统中的任何一个词法错误或者语法错误都应该受到重视,而且应该被及时纠正。因此,对Lustre语言进行正确的编译是十分重要的。传统的Lustre语言的编译器都采用OCaml语言描述,无法保证所有人员都能够很容易地理解和使用,而且,需要耗费开发人员大量的时间和精力。基于上述问题,提出了一种新型的Lustre语言编译器。新型的Lustre语言编译器前端主要采用C++语言进行描述,并对生成的抽象语法树的结构进行重新定义,简化了编译的过程。该编译前端会对一个经典的Lustre语言模型进行检测,通过对检测的结果进行分析,验证了该编译前端的可行性。

软件静态测试中C/C++抽象语法树的生成

本文中C/C++抽象语法树是利用GNU提供的标准编译器生成工具Lex和Yacc,由parser程序通过调用lexical(词法分析程序)进行语法分析生成的. 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链.这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.

针对混合粒度可重构结构的编程模型

为克服粗粒度可重构结构的平台在处理细粒度计算时效率低下的缺陷,提出了一种针对混合粒度可重构结构的编译器前端编程模型。面向不同粒度结构的程序代码,使用关键字进行标记,在clang编译框架的基础上添加语法支持,使编译器前端支持不同粒度结构的编程,简化了编程、提高了程序员生产力。实验显示,应用该编程模型对典型计算密集型算法重新进行程序描述,获得了1.5倍的性能加速,验证了其合理性及可行性。