U.S.-Denmark Cooperative Research: Horn Logic Denotations - Theory, Practice and Applications

9904063 Gupta该奖项支持新墨西哥州立大学的Gopal Gupta和他的学生与丹麦哥本哈根大学计算机科学系的Neil Jones和英国南安普顿大学电子与计算机科学系的Michael Leuschel合作。这项研究将集中于为语言编译和翻译、自动验证、语义移植和使用Horn逻辑的软件工程获得可证明正确的声明性框架。已经有使用Horn逻辑语义学的逻辑语义学的强大和易用性的例子--该项目将支持将直接惠及软件应用程序的最终用户的大规模实验。

9904063GuptaThis award supports Gopal Gupta and his students from the New Mexico State University in a collaboration with Neil Jones of the Department of Computer Science at the University of Copenhagen, Denmark and with Michael Leuschel of the Department of Electronics and Computer Science at the University of Southampton, England. The research will focus on obtaining provably correct, declarative frameworks for language compilation and translation, automatic verification, semantic porting, and software engineering using Horn logic. There are already examples of the power and ease of use of logical semantics with Horn logic semantics-this project will support large-scale experiments that will result in direct benefits to the end users of software applications.