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

这项为期三年的奖项将支持美国和欧盟在分析和实施并发约束编程方面的合作研究。该项目涉及新墨西哥州立大学的Gopal Gupta和意大利帕多瓦大学的Moreno Falaschi、意大利比萨大学的Giorgio Levi、西班牙马德里理工学院的Manuel Hermenegildo以及英国南安普顿大学的Paul Sper和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.