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

9815645Miller这个为期三年的计算机编程语言合作研究奖项涉及宾夕法尼亚州立大学的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.