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

9804662哈里·G·布兰代斯大学CISE博士后：对称、混合过程调用协议的设计和分析这项研究的最终目标是在不牺牲实际效率的情况下增加编程语言的有效功能。为此，PI和博士后助理打算为编程语言设计、分析和实现一个新的原型过程调用协议，集成正确性、最佳性和对称性的组件。正确的实现永远不会在未使用的过程输入上出现偏差；最佳实现永远不会通过复制未计算的过程调用来“重复工作”。对称实现便于以相同的方式对值和延续进行编程。基本方法适用于任何具有标准过程调用协议的语言。这种混合协议包含了按值调用和按名称调用的最佳功能，以及一种可以完全双重方式操作值和控制上下文的工具。支持实现的技术依赖于图形简化的基本思想，正如使用最新的关于最佳评估的新思想重新解释的那样。我们打算在方案语言之上实现该协议的原型版本。若干技术和执行问题仍有待解决，以便我们能够将这一想法从概念转化为执行。

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.