U.S.-France Cooperative Research: Logic-Based Specification and Verification Tools for Concurrent Languages

9815645米勒这项为期三年的奖是为了奖励美法在计算机编程语言方面的合作研究，参与者包括宾夕法尼亚州立大学的Dale Miller和Catuscia Palamidessi，以及法国巴黎高等师范学院的Francois Fages和Marible Fernandez。他们的合作从线性逻辑规划、证明网和并发约束规划的方向解决了并发计算的基础方面。他们会把证明理论和线性逻辑应用到这些不同的方向上。美国研究人员为这次合作带来了线性逻辑和并发理论方面的专业知识。法国调查人员在约束和互动网络方面的专业知识补充了这一点。合作将推进线性逻辑和证明理论及其在并发编程中的应用。

9815645MillerThis three-year award for US-France cooperative research in computer programming languages involves Dale Miller and Catuscia Palamidessi of Pennsylvania State University and Francois Fages and Marible Fernandez of the Ecole Normale Superieure in Paris, France. Their collaboration addresses the foundational aspects of concurrent computation from the direction of linear logic programming, proof nets, and concurrent constraint programming. They will apply proof theory and linear logic to these different directions. The US investigators bring to this collaboration expertise in linear logic and concurrency theory. This is complemented by the French investigators' expertise in constraints and interaction nets. The collaboration will advance linear logic and proof theory and their application to concurrent programming.