CISE-PostDoc: Design and Analysis of Symmetric, Hybrid Procedure-calling Protocols

CISE-PostDoc：对称、混合过程调用协议的设计和分析

• 批准号: 9804662
• 负责人: Harry Mairson
• 金额: $ 6.6万
• 依托单位: Brandeis University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-04-15 至 2001-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9804662&HistoricalAwards=false
• 关键词: CISE; PostDoc; Design; Analysis; Symmetric

9804662 Mairson, Harry G. Brandeis University CISE PostDoc: Design and Analysis of Symmetric, Hybrid Procedure-Calling Protocols This research has the ultimate goal of increasing the effective functionality of programming languages without sacrificing practical efficiency concerns. To this effect, the PI and Postdoctoral Associate intend to design, analyze, and implement a novel prototype procedure-calling protocol for programming languages, integrating the components of correctness, optimality, and symmetry. A correct implementation never diverges on procedure inputs that are not used; an optimal implementation never ``duplicates work'' by copying unevaluated procedure calls. A symmetric implementation facilitates programming with values and continuations in an identical manner. The fundamental approach carries over to any language that has standard procedure-calling protocols. This hybrid protocol encompasses the best features of call-by-value and call-by-name, together with a facility by which values and control contexts can be manipulated in an entirely dual fashion. The technology that supports the implementation depends on basic ideas from graph reduction, as reinterpreted using very recent new ideas about optimal evaluation. We intend to implement a prototype version of this protocol on top of the Scheme language. Several technical and implementation questions remain to be resolved in order that we may bring this idea from concept to implementation.

9804662 Mairson, Harry G. Brandeis 大学 CISE 博士后：对称、混合过程调用协议的设计和分析 这项研究的最终目标是在不牺牲实际效率问题的情况下增加编程语言的有效功能。为此，PI 和博士后打算设计、分析和实现一种新颖的编程语言原型过程调用协议，集成正确性、最优性和对称性的组件。 正确的实现绝不会因未使用的过程输入而产生分歧；最佳实现永远不会通过复制未评估的过程调用来“重复工作”。 对称实现有助于以相同的方式使用值和延续进行编程。 基本方法适用于任何具有标准过程调用协议的语言。 这种混合协议包含按值调用和按名称调用的最佳功能，以及可以以完全双重方式操纵值和控制上下文的工具。 支持实现的技术取决于图简化的基本思想，正如使用关于最佳评估的最新新思想重新解释的那样。 我们打算在Scheme 语言之上实现该协议的原型版本。 为了将这个想法从概念付诸实施，仍有一些技术和实施问题需要解决。