U.S.-E.C. Cooperative Research: Collaborative Research on Analysis and Implementation of Concurrent Constraint Programming

这项为期三年的奖项将支持美欧在并发编程、逻辑编程、编译和实现方面的合作研究。它涉及美国亚利桑那大学的索米亚·德布雷和欧洲方面的合作，分别是西班牙马德里理工大学的曼努埃尔·赫梅内吉尔多、意大利帕多瓦大学的莫雷诺·法拉斯基和意大利比萨大学的乔治·利维。他们提出了三个主要主题的合作：逻辑程序的并行和分布式实现的任务粒度分析，这类语言的可移植并行实现的开发，以及并发约束语言的编译时分析。美国研究人员将目标系统&amp；-Prolog基础并行实现中的经验和能力带到了这种协作中。西班牙调查员使用Caslog复杂性分析系统提供了一个原型实现，用于任务粒度分析。西班牙方面也一直在研究带有延迟原语的Prolog程序的编译时分析技术。意大利研究人员为美国研究人员使用&amp；-PROLOG系统作为并行逻辑编程语言的实现和编译器提供了在并发逻辑和约束编程语言的语义学和静态分析方面的丰富经验。研究结果将有助于构建高级声明性编程语言的高效并行实现，特别是逻辑和约束编程语言。

This three-year award will support U.S.-E.C. cooperative research in concurrent programming, logic programming, compilation, and implementation. It involves cooperation between Saumya Debray of the University of Arizona on the U.S. side, and on the European side, Manuel Hermenegildo of the Polytechnic University of Madrid, Spain; Moreno Falaschi of the University of Padua, Italy; and Giorgio Levi of the University of Pisa, Italy. They propose collaboration on three main topics: task granularity analysis for parallel and distributed implementations of logic programs, development of portable parallel implementations of such languages, and compile-time analysis of concurrent constraint languages. The U.S. investigator brings to this collaboration experience and capability in the target system, &-PROLOG, the underlying parallel implementation. The Spanish investigator contributes a prototype implementation, using the Caslog complexity analysis system, for task granularity analysis. The Spanish side has also been investigating compile-time analysis techniques for Prolog programs with delay primitives. The Italian researchers offer extensive experience with the topics of semantics and of static analyses of concurrent logic and constraint programming languages to the U.S. researcher's use of the &-Prolog system as an implementation and compiler for parallel logic programming languages. The results of the research will contribute to building efficient parallel implementations of high-level, declarative programming languages, in particular, logic and constraint programming languages.