Improving Productivity of Algorithm and System Implementation in Scaled up Applications

提高劳动密集型高性能软件的生产力和可靠性是一个具有明显经济影响的重要科学问题。这项研究正在测试一种全新的编译和元编译方法的可行性，以提高C编程语言中高性能算法软件的生产力和可靠性。该研究结合了深度嵌套SETL数据结构的部分评估、数据结构和算法选择技术以及关系查询优化的转换技术。这将导致SETL的静态类型变体，由此有望以高翻译率生成大规模的C程序

Improving productivity and reliability of labor-intensive high-performance software is an important scientific problem with obvious economic ramifications. This research is testing the feasibility of a radically new compilation and meta-compilation methodology to improve productivity and reliability for high-performance algorithmic software in the C programming language. The research combines partial evaluation for deeply-nested SETL data structures, data structure and algorithm selection techniques, and transformational techniques from relational query optimization. This is leading to a statically typed variant of SETL from which it is expected large-scale C programs can be generated at a high translation rate.***