U.S.-Western Europe Collaborative Research: Static Analysesand Implementations of Concurrent Logic Programs

这个为期三年的奖项支持美国-西欧逻辑程序设计协作。 调查人员是俄勒冈州大学的埃文·蒂克、英国南安普顿大学的安德鲁·金、马克斯·普朗克学会的彼得·货车·罗伊和马德里技术大学的手动赫梅内吉尔多。 他们提出了在并发逻辑编程的分析和实现中的三个主题的研究：高级并发语言编译器的公共中间语言的设计;高级并发语言的划分算法的设计;和并发逻辑语言的执行模型的设计。 在编译，优化和运行时执行的问题的实际工程解决方案将被强调。 美国和欧洲的研究人员为这种合作带来了逻辑编程语言实施方面的互补专业知识。 该项目利用欧洲的资源和投资，研究抽象解释技术及其在逻辑程序设计并行执行问题中的应用。 他们的合作将促进对逻辑编程在并行编程中的应用的理解。

This three-year award supports U.S.- Western European collaboration in logic programming. The investigators are Evan Tick, University of Oregon, Andrew King, University of Southampton in the United Kingdom, Peter Van Roy, Max Planck Society, and Manual Hermenegildo, Technical University of Madrid. They propose research on three topics in the analysis and implementation of concurrent logic programming: design of common intermediate language for high-level concurrent language compilers; design of partitioning algorithms for high-level concurrent languages; and design of execution models for concurrent logic languages. Practical engineering solutions to problems in compilation, optimization, and runtime execution will be emphasized. The U.S. and European investigators bring to this collaboration complementary expertise in the implementation of logic programming languages. The project takes advantage of European resources and investment in studies on techniques for abstract interpretation and its application to problems of parallel execution of logic programming. Their collaboration will advance understanding of the application of logic programming to parallel programming.