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

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

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. ***