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

美国-西欧合作研究：并发逻辑程序的静态分析和实现

• 批准号: 9413311
• 负责人: Evan Tick
• 金额: $ 2万
• 依托单位: University of Oregon Eugene
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-07-01 至 1998-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9413311&HistoricalAwards=false
• 关键词: U.S.; Western; Europe; Collaborative; Research

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.

这个为期三年的奖项支持美国和西欧在逻辑编程方面的合作。调查人员是俄勒冈大学的Evan Tick，英国南安普顿大学的Andrew King，马克斯普朗克学会的Peter Van Roy和马德里技术大学的Manual Hermenegildo。他们提出了并发逻辑编程分析与实现的三个研究课题：高级并发语言编译器的公共中间语言设计；高级并发语言的分区算法设计并发逻辑语言的执行模型设计。对编译、优化和运行时执行问题的实际工程解决方案将被强调。美国和欧洲的研究人员在逻辑编程语言的实现方面为这一合作带来了互补的专业知识。该项目利用欧洲的资源和投资，研究抽象解释技术及其在逻辑程序并行执行问题上的应用。他们的合作将促进对逻辑编程在并行编程中的应用的理解。