|
|||||
|
|
| 线性逻辑式程序设计：理论与应用 | |
| 引用本文： | 倪德明,姚卿达.线性逻辑式程序设计：理论与应用[J].计算机科学,1997,24(6):23-25. |
| 作者姓名： | 倪德明 姚卿达 |
| 作者单位： | 中山大学软件研究所，中山大学软件研究所 广州 510275，广州 510275 |
| 摘 要： | 线性和为一种动作逻辑，有很强的表达能力和很中构造性，线性逻辑式程序设计语言为表达操作语义，并发现规范等提供了新的工具和框架，Ｇｉｒａｒｄ对线性逻辑所作的“定义”概念的扩充对状态变迁系统中模拟和双模拟提供了证明论框架，本文论述了这方面的成果。 |
| 关 键 词： | 证明论 并发变迁系统 线性逻辑 程序设计 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |