塞尔夫

Celf——演绎和并发系统的逻辑框架。(系统说明)。CLF(Concurrent LF)是一个逻辑框架,用于从编程语言理论、安全协议分析、进程代数和逻辑等领域指定和实现演绎和并发系统。Celf是CLF类型理论的一个实现,它通过线性类型扩展LF类型理论以支持状态表示,并使用monad来支持并发表示。它依赖于判断作为类型的方法来规范和解释CLF签名作为并发逻辑程序进行实验。Celf是用标准ML编写的,并用MLton、MLKit和SML/NJ编译。源代码和示例集合可从url{http://www.twelf.org/celf}获得。