广告

CELF——演绎与并发系统(系统描述)的逻辑框架

  • 安德斯·施克·尼尔森
  • 卡斯滕-施鲁曼
会议论文
部分计算机科学讲义图书系列(LNCS,第5195卷)

摘要

CLF(并发LF)[CPWW02A]是从编程语言理论、安全协议分析、过程代数和逻辑等领域指定和实现演绎和并发系统的逻辑框架。Celf是CF类型理论的一种实现,它通过线性类型扩展LF类型理论来支持状态表示和单元格以支持并发表示。它依赖于判断作为类型方法的规范和解释CRF签名作为并发逻辑程序[LPPW05 ]进行实验。CELF以标准ML编写,并与MLTON、MLKIT和SML/ NJ编译。源代码和示例集合可从 http://www. thelf.org/~celf .

关键词

逻辑程序设计操作语义认证协议逻辑框架并发系统
这些关键字是由机器而不是作者添加的。这个过程是实验的,关键字可以随着学习算法的改进而更新。

预览

无法显示预览。下载预览PDF。

无法显示预览。下载预览PDF。

推荐信

  1. [CPWW02A]
    Cervesato,I,P芬宁,F,Walker,D,沃特金斯,K.:一个并发的逻辑框架I:判断和属性。卡内基梅隆大学CMU-CS-02-101技术报告。计算机科学系(2002)谷歌学者
  2. [CPWW02B]
    Cervesato,I,P芬宁,F,Walker,D,沃特金斯,K.:一个并发的逻辑框架II:实例和应用。卡内基梅隆大学CMU-CS-02-102技术报告。计算机科学系(2002)谷歌学者
  3. [HHP93]
    Harper,R,HunStun,F,普洛特金,G:一个定义逻辑的框架。计算机械协会杂志(40)(1),143—184(1993)ZB数学马斯克内特谷歌学者
  4. [LPPW05]
    L.PEZ,P,P芬宁,F,Palkow,J.,沃特金斯,K.:一元并行线性逻辑程序设计。Barahona,P,FelTy,A.P.E.(E.S.)第七届国际ACM SIGPLAN会议宣言和宣言的原则和实践会议,Lisbon,葡萄牙,第35页-第46页。ACM出版社,纽约(2005)交叉裁判谷歌学者
  5. [NS78]
    尼达姆,R.M.,施罗德,M.D.:在计算机的大型网络中使用加密进行身份验证。ACM 21(12)、993—999(1978)的通信ZB数学交叉裁判谷歌学者
  6. [PS99 ]
    Pfenning,F,Sh Urman,C:系统描述:Twitel-演绎系统的元逻辑框架。在:Ganzinger,H(ED)凯德1999。LNCS(LNaI),第1632卷,第202页-第206页。Springer,海德堡(1999)交叉裁判谷歌学者

版权信息

斯普林格出版社柏林海德堡2008

作者与从属关系

  • 安德斯·施克·尼尔森
  • 卡斯滕-施鲁曼
  1. 1。哥本哈根信息技术大学丹麦

个性化推荐