RUI: Testing and Enhancing a Prototype Program Fusion Engine

9900510贝茨，帕特里夏模块化的程序建设提供了许多好处，包括增加可靠性，清晰度和软件组件的可维护性。 不幸的是，模块化程序通常比非模块化程序效率低。 温融合是一种通过消除数据结构来提高模块化程序效率的技术，其唯一目的是将较小的程序组件“粘合”在一起成为较大的程序组件。 一个全自动的热融合引擎最近已经开发出来，这个原型成功地消除了这样的数据结构，从一个有限的，但普遍的，类的功能程序。这项研究的重点是扩展现有的发动机，以适应更灵活，更广泛适用的温聚变发动机。它还涉及扩展原型的全面测试，以便确定实施的温聚变技术在实践中成功和失败的条件;这些信息将用于量化归因于温聚变的程序改进，以及开发更通用的聚变技术。 研究的最终目标是充分增强现有的引擎，使所得到的系统是适合纳入国家的最先进的函数式语言编译器。

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.