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

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

可执行代码级优化器生成框架

编译基础设施生成的编译器对与目标机特征相关的优化支持不足 ,同时嵌入式应用系统的发展要求高质量的目标代码 ,为此 ,提出一种可执行代码级优化器生成框架EOGF (executable optimizer generation framework) ,以及该框架的关键支撑技术。与现有的编译器生成工具相结合 ,如 GCC(GNU com piler collection) ,可以实现高质量编译器的快速开发 ,并可以方便地充分利用目标机特点进行相关优化 ,提高目标代码质量。实验结果证明 ,EOGF是一个简便、灵活且有效的可执行代码级优化器生成工具     

金融信息网格诸问题的解析

为了实现金融系统的信息共享,针对金融系统大型计算机具有的分布性、异构性和协同性等特征,利用网格技术,从金融系统大型计算机的用户接口、外围编译器和文件系统的管理实现方面,提出了金融信息网格的用户门户,异构计算机系统编译器模型的构造,隐蔽网络延迟、提高网格数据利用率的网格虚拟文件管理系统(GVFMS:Grid Virtual File Management System),构建了金融信息网格的实现基础。实现了金融系统的互联互通。     

一种可视队列随机网络仿真语言-VIML

可视编程语言是近几年讨论的热门话题，它正在渗透各科学技术领域。本文介绍一种可视队列随机网络仿真语言，讨论了这种语言的结构及实施的技术问题     

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

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

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

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

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

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

SCPI命令解释程序设计在《数据结构》教学中的应用

《数据结构》课是一门理论和实践要求都很强的课程,在教学中一个好的用例可以加深学生的理解,帮助学生更快地掌握和运用所学算法。文中根据科研中的SCPI命令解释程序设计,将该程序设计转换成教学中的实际用例,帮助学生尽快掌握相关数据结构的内容。     

Warshall算法之证明及若干应用

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

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

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