POPL公司

World-Wide Web Consortium（W3C）提倡XML和相关标准，包括XML模式、XQuery和XPath。本文描述了XML模式的形式化。基于这些思想的正式语义是官方XQuery和XPath的一部分。。。

我们提出了一个选择性应用记忆的框架。该框架为程序员提供了对相等性、空间使用和精确相关性标识的控制，以便可以根据应用程序的需要应用记忆。两个。。。

本文提出并发展了一种基于环境分类器这种方法包括明确但轻量级的跟踪——在类型检查时——起源。。。

二元反应系统（BRS）包括双图，其中节点的嵌套表示局部性，与连接它们的边无关。BRS代表了各种各样的移动性结石，包括λ-结石和环境结石。A。。。

本文提出了一种新的分布式进程演算，称为M演算，它可以理解为具有可编程位置的分布式连接演算的高阶版本。微积分保留了…的可实现特性。。。

我们提出了一种通用的方法来对带有过程的并发程序进行静态分析。我们将程序建模为通信下推系统。众所周知，该模型的典型数据流问题是不可判定的，因为。。。

我们提出了一种新的多项式时间随机算法，用于发现程序中包含变量的仿射等式。该算法的关键思想是在几个随机输入上执行代码片段，但以这样的方式，所有路径都覆盖在。。。

多媒体和网络处理应用广泛使用子字数据。由于寄存器能够保存完整的数据字，因此当子字变量被分配给寄存器时，只使用寄存器的一部分。新的嵌入式处理器具有。。。

模型检查工具有很大的改进用户体验的空间。模型检查器生成的错误跟踪可能很长，并且表示症状错误。因此，用户可以花费大量时间检查错误。。。

编译器使用的许多程序分析技术仅适用于控制流图为可约的节点分裂是一种可以用来将任何控制流图转换为可约图的技术。然而，正如过去一样。。。

给定一个程序和两个变量对和q个，点分析的目的是检查对可以指向q个在程序的某些执行中。这个经过充分研究的问题在编译器优化中起着至关重要的作用。众所周知，这个问题是无法确定的。。。

实现面向对象语言的一个基本问题是节约调度数据结构即，支持快速响应调度查询，并结合类型层次结构和方法的紧凑表示。。。

一流的延续是一种强大的计算效果，允许程序员表达任何形式的跳跃。类型和效果系统可以用来推理连续体，无论是源语言还是目标语言。。。

我们提出了构造演算的强制子类型系统。建议的系统λC类^一氧化碳over≤本质上是通过添加矫顽力和η-转化为λ而获得的C类_≤[10] ，这是对不带。。。

这个一阶同构问题是决定使用乘积型和函数型构造函数的两个非递归类型在交换和关联乘积公理下是否同构，以及函数在。。。

有序类型理论是线性类型理论的扩展，其中上下文中的变量既不能删除也不能重新排序。这种限制产生了一种自然的概念：邻接。我们表明基于有序类型的语言可以使用此。。。

我们展示了如何有效地获得一阶函数程序堆空间消耗的线性先验界。该分析考虑了通过显式释放进行的空间重用，并提供了堆使用率的上限。。。

我们提出了一种名为TALT的类型化汇编语言的设计，该语言支持异构元组、不相交和以及寻址模式的一般说明。TALT还实现了von Neumann模型，其中程序存储在内存中，并支持。。。

所有权类型提供了一种静态可执行的方法来指定对象封装，并支持在面向对象语言中对程序正确性进行本地推理。然而，强制执行严格对象封装的类型系统也是。。。

我们引入了保护递归（g.r.）数据类型构造函数的概念，在函数编程语言（如ML和Haskell）中推广了递归数据类型的概念。我们解决了由此产生的理论和实践问题。。。

我们提出了一种高阶模块的类型理论，该理论解释了模块系统设计中的许多核心问题，包括半透明性、应用性、生成性和模块作为一级值。我们的字体系统协调来自……的设计元素。。。

我们引入了一个新的代数纯类型系统框架，其中我们将重写规则视为带有模式的lambda项，而将重写规则应用程序视为带有内置匹配工具的抽象应用程序。这个框架，我们称之为“纯净。。。

我们比较了两种不同的工具，用于对即将结束使用寿命的对象执行清理操作。当对象超出范围时，会同步调用我们在C++中发现的析构函数。它们使实施变得更容易。。。

我们提出了一种过程间合成算法，用于查找兼容的分配站点，该站点具有这样的属性：在一个站点上分配的对象与在另一个站点分配的任何对象都不同时处于活动状态。如果分配。。。

由于垃圾收集提供的安全性和软件工程优势，在Java等语言中使用垃圾收集已被广泛接受，因此将垃圾收集应用于硬实时系统具有很大的兴趣。过去的。。。