%0 Journal Article
%T 线性逻辑式程序设计：理论与应用
%A 倪德明
%A 姚卿达
%J 计算机科学
%D 1997
%I 
%X 线性和为一种动作逻辑，有很强的表达能力和很中构造性，线性逻辑式程序设计语言为表达操作语义，并发现规范等提供了新的工具和框架，Ｇｉｒａｒｄ对线性逻辑所作的“定义”概念的扩充对状态变迁系统中模拟和双模拟提供了证明论框架，本文论述了这方面的成果。
%K 证明论
%K 并发变迁系统
%K 线性逻辑
%K 程序设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6A26029C4256FE3F6CD9607261790ECF&yid=5370399DC954B911&vid=B91E8C6D6FE990DB&iid=B31275AF3241DB2D&sid=EA389574707BDED3&eid=C5154311167311FE&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0