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

9416687 KAPUR描述：本提案将为 奥尔巴尼纽约州立大学计算机科学系Deepak Kapur和R.K. Shyamasundar，理论计算机科学组，塔塔基础研究所（TIFR），印度孟买。 这个项目的重点是逻辑程序的研究和分析，重点是顺序和并发程序的终止。 最初的理论研究将集中在证明终止的逻辑程序的查询，开发语义保持转换，以提高效率的逻辑程序，并确定条件下，发生检查可以省略在逻辑编程语言解释器。 将开发软件工具来实现理论结果，并有望促进优雅和高效的逻辑程序的设计。 范围：P.I.是具有互补研究兴趣的知名高级科学家。 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. ***