塞尔夫

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