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

美国-欧洲委员会

• 批准号: 9415256
• 负责人: Gopal Gupta
• 金额: $ 2.7万
• 依托单位: New Mexico State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-06-01 至 1999-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9415256&HistoricalAwards=false
• 关键词: U.S.; E.C.; Cooperative; Research; Implementation

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.

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