Experimental Evaluation of the G-Machine

G-machine是一种语言导向的架构，用于通过图约简来评估函数式语言程序。这项资助主要关注新的编译器优化，以便在不付出很大性能损失的情况下，在惰性函数式语言中实现声明式编程的全部功能。利用已经开发的编译器和模拟器，正在探索以下主题；1. 向量节点，2。缩小 , 3所示。3 .非终止计算的检测；包装和取消包装的函数，5。6.快速p -栈的设计；高阶函数应用的效率。

The G-machine is a language-directed architecture for evaluation of functional-language programs by graph reduction. This grant focuses on novel compiler optimization needed to make the full power of declarative programming in lazy functional languages available without paying a large performance penalty. Utilizing the compiler and simulator already developed, the following topics are being explored; 1. Vector Nodes, 2. Narrowing, 3. Detection of non-terminating computations, 4. Wrapped and Unwrapped Functions, 5. Design of a fast P-stack, and 6. Efficiency of higher-order function applications.