U.S.-France Cooperative Research: Deduction with Constraints.

美法合作研究：带约束的演绎。

• 批准号: 9314412
• 负责人: IV Ramakrishnan
• 金额: $ 1.53万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-06-01 至 1998-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9314412&HistoricalAwards=false
• 关键词: U.S.; France; Cooperative; Research; Deduction

9314412 Ramakrishnan This three-year award supports U.S.-France cooperative research among three research groups at the State University of New York, Stony Brook, the CNRS' Research Center in Information Sciences, and at the Nancy campus of INRIA (French National Institute for Research in Information Sciences and Applied Mathematics). The U.S. investigators are I.V. Ramakrishnan, Leo Bachmair, and Jieh Hsiang and the French investigators are Helene and Claude Kirchner and Michael Rusinowitch. The objective of their research is to investigate the use of constraints in the design and implementation of high performance deductive computing systems. They will focus on parallel automated deduction with constraints; methods for fundamental operations in deductive systems and program analysis of logic programs. This project takes advantage of complementary expertise of the U.S. and French groups. The U.S. investigators bring to this collaboration their strengths in theory and application. The French group at Nancy are considered leaders in software development as it relates to term rewriting and constraints. This investigation will impact software design for high performance computing systems and has important applications in logic programming. ***

小行星9314412 这个为期三年的奖项支持美国-法国纽约斯托尼布鲁克的州立大学、CNRS信息科学研究中心和INRIA（法国国家信息科学和应用数学研究所）的南希校区的三个研究小组进行了合作研究。 美国调查人员是I. V. Ramakrishnan，Leo Bachmair和Jieh Hsiang，法国调查人员是Helene和Claude Kirchner和Michael Rusinowitch。 他们研究的目的是调查在设计和实现中使用约束 高性能的演绎计算系统。 他们将专注于并行自动演绎与约束;方法的基本操作在演绎系统和程序分析的逻辑程序。 该项目利用了美国和法国集团的互补专业知识。美国研究人员将他们在理论和应用方面的优势带到了这次合作中。Nancy的法国团队被认为是软件开发领域的领导者，因为它涉及到术语重写和约束。 这项研究将影响高性能计算系统的软件设计，并在逻辑编程中有重要的应用。 ***