RUI: Testing and Enhancing a Prototype Program Fusion Engine

RUI：测试和增强原型程序融合引擎

• 批准号: 9900510
• 负责人: Patricia Johann
• 金额: $ 5.04万
• 依托单位: Bates College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-06-15 至 2001-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9900510&HistoricalAwards=false
• 关键词: RUI; Testing; Enhancing; Prototype; Program

9900510 Bates, PatriciaModular program construction offers many benefits, including increased reliability, clarity, and maintainability of software components. Unfortunately, modular programs are typically less efficient than their nonmodular counterparts. Warm fusion is a technique for improving the efficiency of modularly constructed programs by eliminating from them data structures whose sole purpose is to "glue" together smaller program components into larger ones. A fully automatic warm fusion engine has recently been developed, and this prototype successfully eliminates such data structures from a restricted, but pervasive, class of functional programs. This research focuses on extending the existing engine to accommodate more flexible and more widely applicable warm fusion heuristics. It also involves comprehensive testing of the extended prototype so that conditions under which the implemented warm fusion techniques succeed and fail in practice can be determined; this information will be used to quantify program improvement attributable to warm fusion, as well as to develop more general fusion techniques. The ultimate goal of the research is to sufficiently enhance the existing engine so that the resulting system is suitable for incorporation into state-of-the-art functional language compilers.

9900510 Bates， patriciam模块化的程序构造提供了许多好处，包括提高了软件组件的可靠性、清晰度和可维护性。不幸的是，模块化程序通常比非模块化程序效率低。热融合是一种通过消除数据结构来提高模块化程序构造效率的技术，这些数据结构的唯一目的是将较小的程序组件“粘合”在一起，形成较大的程序组件。一个全自动的热聚变引擎最近被开发出来，这个原型成功地消除了这种数据结构，从一个有限的，但普遍的，一类功能程序。本研究的重点是扩展现有的引擎，以适应更灵活和更广泛适用的热融合启发式。它还包括对扩展原型的全面测试，以便确定所实施的热聚变技术在实践中成功和失败的条件；这些信息将用于量化由于热聚变而导致的程序改进，以及开发更通用的聚变技术。这项研究的最终目标是充分增强现有的引擎，使最终的系统适合合并到最先进的功能语言编译器中。