论文部分内容阅读
线性和为一种动作逻辑，有很强的表达能力和很中构造性，线性逻辑式程序设计语言为表达操作语义，并发现规范等提供了新的工具和框架，Ｇｉｒａｒｄ对线性逻辑所作的“定义”概念的扩充对状态变迁系统中模拟和双模拟提供了证明论框架，本文论述了这方面的成果。
线性逻辑式程序设计：理论与应用
【摘 要】
：
线性和为一种动作逻辑，有很强的表达能力和很中构造性，线性逻辑式程序设计语言为表达操作语义，并发现规范等提供了新的工具和框架，Ｇｉｒａｒｄ对线性逻辑所作的“定义”概念的扩充对状态变迁
【机 构】
：
中山大学软件研究所,中山大学软件研究所,广州
【出 处】
：
计算机科学
【发表日期】
：
1997年6期
其他文献
<正>计算机技术、网络技术和多媒体技术的高速发展及其之间的相互融合,产生了分布式多媒体
城市从向外扩张到内部更新的转型时代已经到来,规划策略也随之改变。如何在城市更新进程中,合理体现城市色彩风貌特色成为规划中的重点。以太原主城为研究对象,明确主城色彩
<正>并行程序的指称描述的基本技术的“再继续(Resumption)”,用以描述异步并发进程中命令的可
<正>1引言 计算机网络和分布式人工智能技术为高速发展,推动了新型分布计算机理论的研与发展,特别是在WAN广泛建立与使用的今天,基于客户机一服务器(Cliellt一Server)模式
<正>1.引言 实时数据库系统(RTDBS)可看作是常规数据库管理系统(DBMS)与实时系统的结体,象DBMS一样,它必须处理事务并保证ACID数据特性。此外还必须在实时环境下满足事务
随着“互联网+”时代的快速发展,各大高校都纷纷实施了新媒体教学改革,并获得较好的效果,但因为体育课程具有特殊实践性,许多高校仍需要使用传统的教学模式。为了加快高校公
文章通过建立“Mundell模型悖论”模型，解释发展中国家对发达国家的投资对国际贸易的影响。分析得出的结论是：（1）发展中国家对发达国家的投资是贸易导向的；（2）应该以获取发达国家的
<正>PARO系统是一个基于无共享硬件结构的并行数据库系统的原型,其设计目标是支持海量数