PPDP（PPDP）

我们介绍了延迟约简演算（cdr），它表示只有在术语中处于正确位置时，才能收缩redex，并将说明λ-演算的按名称或值调用（cbn，cbv）约简可以建模。。。

并发/分布式系统开发和验证的模块化方法如今越来越重要。我们研究了多党类型环境中多个系统的同时合成，研究了合适的。。。

终止性是序列规划模型中的一个核心属性：如果一个项的所有约简序列都是有限的，那么它就是终止的。终止在并发中通常也很重要，尤其是对于消息传递程序。各种。。。

代数效果处理程序和分隔控制操作符是表达计算效果的语言工具。它们的标记变体可以表示多种异常、多种状态等。我们证明标记效果处理程序。。。

本文提出了stableKanren，这是一个在稳定模型语义下具有正常逻辑编程支持的miniKanrens扩展。MiniKanren是一个通过浅嵌入在Scheme上实现的关系编程求解器，这意味着每个语句中的谓词。。。

常量时间是一种编程规则，它可以保护安全敏感代码免受各种定时攻击。这一学科可以被形式化为一种不干涉性质，并通过信息流类型的系统来强制执行，该系统防止。。。

我们提出了DCRSec，这是一种具有机密意识的声明性过程语言，其数据采用了数据相关的安全级别，并具有防止违反信息流策略的信息流监视器。依赖数据的安全级别有。。。

最近的编程语言研究开发了语言集成查询，这是一种将特定于域的数据库查询语言无缝嵌入通用主机编程语言的便捷技术；这样的查询就会自动进行。。。

我们开发了直觉度量时间逻辑（IMTL），它以两种方式扩展了直觉时间逻辑的先前工作：（1）它将离散时间推广到具有间隔的稠密时间，以便它可以表示信号的持续时间，以及（2）。。。

闭包转换是编译函数式程序的一个基本步骤，传统上表示为从具有高阶函数的语言到不具有高阶功能的语言的全局转换。优化这个转换可以在它的三个。。。

高级语言通常通过将其转换为基于堆栈的中间语言来实现。为了确保实现的正确性，希望为基于堆栈的代码提供一个类型系统，以确保所需的。。。

会话类型为类型化通信协议提供了一种原则性方法，可确保类型安全和协议保真度。会话类型通信的形式化通常基于进程演算、并发lambda演算或线性。。。

元胞自动机是一种典型的共元计算概念，因为计算发生在共元的coKleisli范畴中。在本文中，我们表明它们也可以被视为分级共济失调——事实证明这两种观点都是。。。