Warshall算法之证明及若干应用

本文给出了 Warshall 算法的一个正确性证明,不仅简明,而且极有利于对 Warshall 算法本身的理解。对于自动编译程序构造中的基本问题之一,求非终极符所对应的终极符串的带头符(FIRST)和后继符(FOLLOW)集,本文还介绍了基于 Warshall 算法的计算办法。     

面向对象语言编译器自动测试工具

针对面向对象语言编译器的自动测试问题,结合实际项目,研究了面向对象语言编译器自动测试工具(简称O-OCTT)设计与实现涉及的有关理论和技术的关键点,阐述了O-OCTT的系统目标定位.在对传统编译器的测试模式进行分析与比较的基础上,提出并设计了O-OCTT的测试策略、测试模式和体系结构.提出的可行的O-OCTT的实现机制,测试用例产生策略及引入的插件式设计思想,使O-OCTT可适用于多种面向对象编译器的测试.     

编译原理多媒体辅助教学软件的设计与实现

设计开发了编译原理多媒体CAI课件PCMCAI(Principle of Compile Multimedia CAI)。PCMCAI采用多媒体技术、程序组装技术和软件自动生成技术设计，在把抽象的概念和算法生动形象地演示的同时，提供了编译程序各个阶段(词法分析，语法分析，语义分析，中间代码生成和优化，目标代码生成)的自动生成及把各个部分组装成完整的编译程序的功能。该系统在教学过程中作为一种辅助教学手段，不仅方便教师在上课时使用该课件来演示部分关键算法和难点，提高了教学效果，而且也使学生从实践中进一步理解基本原理和实现算法，提高了大型软件开发能力。     

基于面向对象的编译原理实验的研究

概述了面向对象方法的基本思想及其技术特征,说明了面向对象技术应用特点;采用面向对象程序设计语言(C++语言),实现了编译原理课程的几个实验;最后阐述了面向对象技术用于编译原理实验的设计和实现的特点.     

国标BASIC语言编译系统的设计与实现

介绍了国标BASIC语言编译系统的设计思想和实现技术.该系统建立了一个集成化的编程支持环境,通过语法制导编辑器建立BASIC源程序,通过增量编译器进行编译.这个集成化环境把编辑器、编译器、调试器有机地结合在一起,大大地提高了软件开发的效率,也提高了软件的可靠性.     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

CORBA及其IDL编译器研究

介绍了CORBA规范作为分布式对象计算（DOC,Distributed Object Computing)的主流技术,分析了CORBA系统的体系结构以及IDL编译器的工作原理。     

粗粒度异构预编译器的设计与实现

提出了一种基于用户指导法的异构计算的动态实现工具,称为粗粒度异构预编译器（ＣＨＰ）,定义了５种用户在并行编程时需显式说明的代码段的类型,以及用户对代码段的输入和输出参数需进行的说明。     

SNMP MIB文法分析及MIB编译器的实现

通过对SNMP MIB（SMIv2)中两个具有代表性的宏定义和语法进行了分析,给出了宏定义的文法分析表,证明了SNMP MIB定义的宏基本属于LL－1文法,并指出了TEXTUAL－CONVENTION宏定义中的一处文法缺陷。在此基础上,依据文法分析表设计了MIB编译器的程序流程图,根据LL－1文法的性质证明了该流程图是正确的。     

编译原理实践课程教学方法研究

探讨了开设《编译原理》实践课程的必要性,研究了《编译原理》实践课程的“实例-阶段-循环”教学方法,制定了相应的教学方案,并将其应用到实际的教学中。该项研究对高校更深入的教学改革和创新人才的培养具有一定的意义。