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

这项为期三年的奖励将支持美国- E.C.并发约束程序设计的分析与实现的合作研究。 该项目涉及以下人员之间的合作：新墨西哥州州立大学的Gopal Gupta和意大利帕多瓦大学的Moreno Falaschi;意大利比萨大学的Giorgio Levi;西班牙马德里理工学院的Manuel Hermenegildo;以及联合王国南安普顿大学的Paul Soper和Andrew King。 他们的研究将在多处理器硬件上分析和实现逻辑编程系统和当前的约束编程系统。 美国的研究人员带来的合作经验，在开发并行逻辑编程系统和设计实现并发约束系统，特别是那些基于安道尔原则。 欧洲的参与者将有助于设计一个共同的中间语言，用于实现并发约束编程和并行逻辑编程，实现基于形式分析技术的并行逻辑语言的工具，并完善现有的框架，用于并发约束逻辑程序的静态分析。 研究成果不仅将推动逻辑、编程、并行符号计算和数据流分析的发展，而且还将产生可供使用的系统。

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.