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，PatriciaModular计划的构建提供了许多好处，包括可靠性，清晰度和软件组件的可维护性。 不幸的是，模块化程序通常不如非模块化效率。 温暖的融合是一种通过从数据结构中删除唯一目的的数据结构来提高模块化程序效率的技术，其目的是将较小的程序组件“粘合”到较大的程序组件中。 最近已经开发了全自动的温暖融合引擎，该原型成功地消除了受限但普遍的功能程序类别中的这些数据结构。这项研究重点是扩展现有发动机，以适应更灵活，更广泛的温暖融合启发式方法。它还涉及对扩展原型的全面测试，以便可以确定实施温暖的融合技术在实践中取得成功和失败的条件。该信息将用于量化可归因于温暖融合的程序改进，以及开发更通用的融合技术。 该研究的最终目标是充分增强现有的发动机，以便所得系统适合将其纳入最新的功能语言编译器。