Experimental Evaluation of the G-Machine

G 机的实验评估

• 批准号: 8611374
• 负责人: Richard Kieburtz
• 金额: --
• 依托单位: Oregon Graduate Institute of Science & Technology
• 依托单位国家: 美国
• 项目类别: Continuing grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-07-01 至 1989-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8611374&HistoricalAwards=false
• 关键词: Experimental; Evaluation; Machine

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.

G-machine是一种语言导向的架构，用于评估 函数语言程序的图形简化。 该基金专注于 一种新的编译器优化需要充分发挥声明性 使用惰性函数语言编程，无需支付 大性能损失。 利用编译器和模拟器已经 目前正在探讨以下专题： 1. 向量节点， 2. 缩小， 3. 检测非终止计算， 4. Wrapped和Unwrapped函数， 5. 快速P-栈的设计，以及 6. 高阶函数应用的效率。