课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
并发性与 证明理论将在本项目中进行研究。 在 特别是，它们之间的理论联系将是 探索和编程语言的基础上pi演算 将使用逻辑技术设计和实现 编程. 这将导致编程 一种实现算法的语言， 并发性、通信和逻辑规范 语言的高级描述和分析， 软件
英文摘要
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
海外基金