US-UK Cooperative Research: Backward Analysis of Logic Programs

0327760Lu这个为期三年的美英计算机编程合作研究项目涉及奥克兰大学的Lumjin Lu和他的学生，以及英国坎特伯雷肯特大学的Andy King。NSF的财政支持将支付这位美国调查员和他的学生为实施联合研究而每年访问英国的费用。研究人员建议开发一种新的逻辑程序分析框架。研究的重点是(1)设计、实现和评估后向逻辑程序分析；(2)开发为程序调试和编译提供有用信息的程序分析。这位美国首席研究员和他的英国同事之前曾在逻辑程序的反向分析方面合作过。在继续他们的努力中，他们建议展示该框架对新编程环境的适用性。这位美国调查人员将逻辑编程和基于语义的程序操纵领域的专业知识带到了合作中。此外，金博士还拥有理论计算机科学方面的专业知识，特别是编程语言研究方面的专业知识。他们的发现将有助于改善逻辑编程的软件开发环境。

0327760LuThis three-year US-UK cooperative research project in computer programming involves Lunjin Lu and his students at Oakland University and Andy King of the University of Kent in Canterbury, United Kingdom. NSF financial support will cover the costs of annual visits by the US investigator and his students to the United Kingdom to implement the joint research. The investigators propose to develop a new framework for logic program analysis. The research focuses on (1) designing, implementing and evaluating backward logic program analyses and (2) developing program analyses that provide useful information in program debugging and compilation. The US principal investigator and his British colleague have worked together previously on backward analyses for logic programs. In continuing their efforts, they propose to demonstrate the framework's applicability to new programming environments. The US investigator brings to the collaboration expertise in the fields of logic programming and semantic-based program manipulation. This is complemented by Dr. King's expertise in theoretical computer science, in particular programming language research. Their findings will help improve software development environments for logic programming.