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

美法合作研究：基于逻辑的并发语言规范和验证工具

• 批准号: 9815645
• 负责人: Dale Miller
• 金额: $ 2.1万
• 依托单位: Pennsylvania State Univ University Park
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-04-01 至 2003-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9815645&HistoricalAwards=false
• 关键词: U.S.; France; Cooperative; Research; Logic

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.

9815645Miller 这项为期三年的美法计算机编程语言合作研究奖涉及宾夕法尼亚州立大学的 Dale Miller 和 Catuscia Palamidessi 以及法国巴黎高等师范学院的 Francois Fages 和 Marible Fernandez。 他们的合作从线性逻辑编程、证明网和并发约束编程的方向解决了并发计算的基本问题。 他们将把证明理论和线性逻辑应用于这些不同的方向。 美国研究人员为此次合作带来了线性逻辑和并发理论方面的专业知识。 法国调查人员在约束和交互网络方面的专业知识对此进行了补充。 此次合作将推进线性逻辑和证明理论及其在并发编程中的应用。