Computational Aspects of Linear Logic

9224858林肯逻辑优雅和执行速度通常被认为是声明性程序的不兼容特征，但资源意识逻辑的最新发展表明解决这种紧张关系是可能的。 基于线性逻辑的函数式语言的类型系统可以被编译器利用来生成优化的目标代码。 线性逻辑也可以用作逻辑编程的计算框架。 逻辑编程演算将被线性连接词启发的控制和更新原语所丰富。 来自逻辑、类型论和自动推理的见解将增强声明式编程语言的表达能力和执行速度。 ***

9224858 Lincoln Logical elegance and execution speed are typically thought to be incompatible traits of declarative programs, but recent developments in resource-conscious logics indicate that it might be possible to resolve this tension. Type systems for functional languages based on linear logic can be exploited by compilers to generate optimized target code. Linear logic can also be used as a computational framework for logic programming. Logic programming calculi will be enriched with control and update primitives inspired by the linear connectives. Insights from logic, type theory, and automated reasoning will enhance both the expressiveness and execution speed of declarative programming languages. ***