US-UK Cooperative Research: Backward Analysis of Logic Programs

这个为期三年的计算机编程美英合作研究项目由陆伦金和他在奥克兰大学的学生以及英国坎特伯雷肯特大学的Andy King共同参与。美国国家科学基金会将资助美国研究员及其学生每年赴英国进行联合研究的费用。研究者建议开发一种新的逻辑程序分析框架。研究重点是：(1)设计、实现和评估逆向逻辑程序分析；(2)开发程序分析，为程序调试和编译提供有用的信息。这位美国首席研究员和他的英国同事此前曾合作进行逻辑程序的逆向分析。在继续他们的努力中，他们建议证明该框架对新的编程环境的适用性。美国调查员为合作带来了逻辑编程和基于语义的程序操作领域的专业知识。这与King博士在理论计算机科学，特别是编程语言研究方面的专业知识相辅相成。他们的发现将有助于改进逻辑编程的软件开发环境。

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.