U.S.-Indo Collaborative Research: Logic Programming AnalysisTransformations and Principles, Award in Indian and U.S. Currencies

美印合作研究：逻辑编程分析转换和原理，印度和美国货币奖

• 批准号: 9416687
• 负责人: Deepak Kapur
• 金额: $ 1.95万
• 依托单位: SUNY at Albany
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-04-15 至 1999-05-11
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9416687&HistoricalAwards=false
• 关键词: U.S.; Indo; Collaborative; Research; Logic

9416687 KAPUR Description: This proposal will provide linkage support for a collaboration between Deepak Kapur, Department of Computer Science, State University of New York, Albany and R.K. Shyamasundar, Theoretical Computer Science Group, Tata Institute of Fundamental Research (TIFR), Bombay, India. The focus of this project is the study and analysis of logic programs with emphasis on termination of sequential and concurrent programs. The initial theoretical investigations will concentrate on proving termination of a logic program for a query, developing semantic- preserving transformations to improve efficiency of logic programs, and identifying conditions under which the occur-check can be omitted in a logic programming language interpreter. Software tools will be developed to implement theoretical results and are expected to promote the design of elegant and efficient logic programs. Scope: The P.I.s are well-known senior scientists with complimentary research interests. Kapur and his group are accomplished in the area of automated deduction and term rewriting systems and have developed an extremely powerful theorem prover, Rewrite Rule Laboratory. Shyamasundar is well- known for his research in theoretical computer science, particularly in the area of logic programming and semantics of real-time and concurrent programming. Computer science is an area of exceptional strength in India and many mutual benefits can be expected to result from this collaboration. ***

9416687 KAPUR 描述：该提案将为纽约州立大学奥尔巴尼分校计算机科学系 Deepak Kapur 和 R.K. 之间的合作提供联系支持。 Shyamasundar，印度孟买塔塔基础研究所 (TIFR) 理论计算机科学小组。 该项目的重点是逻辑程序的研究和分析，重点是顺序程序和并发程序的终止。 最初的理论研究将集中于证明查询的逻辑程序的终止，开发语义保留转换以提高逻辑程序的效率，以及识别在逻辑编程语言解释器中可以省略发生检查的条件。 将开发软件工具来实现理论成果，并有望促进优雅高效的逻辑程序的设计。 范围：PI 是具有互补研究兴趣的知名资深科学家。 卡普尔和他的团队在自动演绎和术语重写系统领域取得了成就，并开发了一个极其强大的定理证明器——重写规则实验室。 Shyamasundar 因其在理论计算机科学领域的研究而闻名，特别是在逻辑编程以及实时和并发编程的语义领域。 计算机科学是印度的一个优势领域，此次合作有望带来许多互惠互利。 ***