棒棒糖

Lolliproc:通过Curry Howard和控制从经典线性逻辑并发。虽然许多基于线性逻辑直觉分段的类型系统已经被提出,但是在全语言的线性逻辑的编程语言中的应用——包括双重否定消除——仍然是难以捉摸的。同时,线性度已经在许多类型的并行程序系统中使用,例如,会话类型——这意味着对并发编程问题的适用性,但是线性与lambda演算中的并发原语交互的方式在某种程度上仍然是ad-hoc的。在本文中,我们将经典线性逻辑和并发函数编程连接到语言LoLIPOPRC中,该语言为并行逻辑提供简单的原语,这些逻辑具有直接的逻辑解释,并结合以提供会话类型的功能。LoLIPPROC具有一个简单的进程演算“引擎盖”,但是隐藏了程序员的进程机制。我们通过实例说明了LoLIPROC,并证明了稳健性、强正规化和汇流结果,除此之外,它保证了不受死锁和竞争条件的影响。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。