课题基金 / 基金详情

Concurrency and Proof Theory

Concurrency and Proof Theory
并发与证明论
批准号：
9209224
负责人：
Dale Miller
金额：
$0.0万
依托单位：
University of Pennsylvania
依托单位国家：
美国
项目类别：
Continuing grant
财政年份：
1992
资助国家：
美国
项目状态：
已结题
起止时间：
1992-10-01 至 1996-03-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9209224&HistoricalAwards=false
关键词：
ConcurrencyProofTheory

项目摘要

项目成果

Dale Miller的其他基金

相似基金

相关文献

中文摘要
翻译
在这个项目中，将研究并发性和证明理论之间的几个方面的关系。特别是，将探索它们之间的理论联系，并将使用逻辑编程技术设计和实现基于圆周率演算的编程语言。这应该会产生一种用于实现以并发和通信为中心的算法的编程语言，以及一种用于此类软件的高级描述和分析的逻辑规范语言。
英文摘要
Several aspects of the relationship between concurrency and proof theory shall be investigated in this project. In particular, theoretical connections between them shall be explored and a programming language based upon the pi-calculus will be designed and implemented using the techniques of logic programming. This should result in both a programming language for the implementation of algorithms centered around concurrency and communication and a logical specification language for the high-level description and analysis of such software.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Reasoning About Specifications of Computation
U.S.-France Cooperative Research: Logic-Based Specification and Verification Tools for Concurrent Languages
An Effective Framework for Implementing Derivation Systems
U.S.-France Cooperative Research (INRIA): Structuring of Proof Search in the Logic Programming Paradigm
海外基金