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

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

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.