U.S.-E.C. Cooperative Research: Implementation and Analysisof Parallel Logic Programming and Concurrent Constraint Systems

这个为期三年的奖项将支持美国-欧盟在并发约束编程的分析和实现方面的合作研究。该项目涉及新墨西哥州立大学的Gopal Gupta和意大利帕多瓦大学的Moreno Falaschi的合作；意大利比萨大学的Giorgio Levi；西班牙马德里理工学院的Manuel Hermenegildo；以及英国南安普顿大学的保罗·索珀和安德鲁·金。他们的研究将在多处理器硬件上分析和实现逻辑编程系统和当前约束编程系统。美国研究者带来了开发并行逻辑编程系统和设计并发约束系统实现的合作经验，特别是基于安道尔原则的那些。欧洲参与者将为并发约束编程和并行逻辑编程的通用中间语言的设计做出贡献，为基于形式分析技术的并行逻辑语言的工具的实现做出贡献，并为并发约束逻辑程序的静态分析改进现有框架。研究成果不仅将在逻辑，编程，并行符号计算和数据流分析方面推进最先进的技术，而且还将产生可使用的系统。

This three-year award will support U.S.-E.C. cooperative research on the analysis and implementation of concurrent constraint programming. The project involves cooperation between Gopal Gupta of New Mexico State University and Moreno Falaschi of the University of Padua, Italy; Giorgio Levi of the University of Pisa, Italy; Manuel Hermenegildo of the Polytechnic of Madrid, Spain; and Paul Soper and Andrew King of Southampton University in the United Kingdom. Their research will analyze and implement logic programming systems and current constraint programming systems on multiprocessor hardware. The U.S. investigator brings to the collaboration experience in developing parallel logic programming systems and designing implementations for concurrent constraint systems, specifically those based on the Andorra Principle. The European participants will contribute to the design of a common intermediate language for implementation of concurrent constraint programming and parallel logic programming, to the implementation of tools for parallel logic languages based on formal analysis techniques, and to refining existing frameworks for the static analyses of concurrent constraint logic programs. The research results will not only advance the state-of-the-art in logic, programming, parallel symbolic computing, and data-flow analysis, but also produce systems that can be used.