POPL公司

大多数现有的APL实施本质上是解释性的，也就是说，每次遇到APL语句时都会执行它通过一组完全通用的代码，即能够计算任何APL表达式，并且决不是针对...

本文描述了一个基于通信对象隐喻的编程系统。运行系统的经验表明，该模型具有灵活性、模块化和紧凑性。给出了该语言的编译表示。。。

在本文中，我们描述了如何扩展Lucid以允许用户定义的函数和范围约定，即限制定义有效性范围的约定。这是使用称为子句的新构造完成的，这些子句是。。。

本文描述了一种在编程语言中处理数据类型的新方法，它允许对“多态”或“泛型”过程进行简单解释，使一组简单的类型检查规则在语义上合理，并提供。。。

人们早就知道，在高类型语言（如Algol 68或Pascal）中递归定义的类型可以通过与有限自动机进行比较的相同算法进行结构等价性测试[5,11]。几位作者（例如[3,8,9,16]）。。。

在既允许赋值又允许过程的编程语言中，不同的标识符可以表示共享存储或具有干扰副作用的过程的数据结构。除了是编程错误的直接来源外，这。。。

最早的数据流分析研究涉及混凝土问题（例如检测可用表达式）和控制流的级别表示（每个都有一个大图形其节点表示基本块）。最近的几次。。。

我们在不需要类型声明的编程语言中提供了用于确定运行时类型的最著名算法。我们证明了它优于其他已发表的算法，并且是所有算法中最好的算法。。。

假设为全局流模型；通常，控制流由一个称为控制流图的有向图表示。我们程序分析的目标是构建从程序文本表达式到符号表达式的映射（封面）。。。

最近已经构建了一个C语言编译器，它现在正在为大约六台机器编译C语言。编译器受到了最近理论发展的各种影响。本文概述了编译器的结构。。。

Runcheck Verifier是一个用于证明没有常见运行时错误的工作系统。所接受的语言是Pascal，没有变量记录、函数中的副作用、过程的共享变量参数或函数参数。错误。。。

本文提出了一种新版本的Hoare逻辑，包括广义过程调用和正确处理别名变量的赋值规则。为新规则提供了正式的理由。

我们描述了一个用于程序操作和验证的简化程序。简化程序为语言上的任何表达式找到一个正规形式，该语言由单个变量、常用的布尔连接词、条件函数cond（表示。。。

给出了递归定义数据结构的无量词理论的一种判定算法，该理论对于长度n的合取，决定了其在n中的时间线性可满足性。。。

程序优化中经典的通用子表达式问题是相同子表达式的检测。假设我们有一些额外的信息，并给出了成对的表达式e_i1号机组=电子_i2类必须具有相同的值和表达式f_j1公司≠f_j2公司...

一组并行过程的大多数抽象模型将模型的计算定义为序列。它要么是系统采取的一系列行动[Lip]，要么是行动[Kel、Lau、Ash]之间存在的一系列系统状态。。。

并行性意味着“同时执行”，它可能涉及不同种类的计算机单元（例如内存和处理器），也可能涉及相同种类的计算机单位（例如多个处理器）。电脑伊利亚克4和巴勒斯。。。

我们研究了在异步、并发子系统的情况下，用形式语言方法建模软件系统行为的一些结果。我们使用形式化语言shuffle操作给出了语义的“代数”定义。。。

描述了LISP的部分评估程序，以及使用该程序的应用程序。部分求值器执行许多其他相关操作，例如打开函数和对程序进行某些优化。应用程序是。。。

我们研究了非确定性程序推理的基本原理，并提出了支持这种推理的逻辑。我们的逻辑是动态逻辑（[22]和[12]）的扩展，包含了大多数现有的一阶逻辑。。。

数据流编程语言特别适合用Scott和Strachey的指称风格对其语义进行数学化。然而，许多现实世界中的编程问题，例如操作系统和数据库查询系统。。。

给出了一种算法，用于将程序的相对低级中间表示转换为目标计算机的汇编代码或机器代码。该算法是表驱动的。使用构造算法从一个。。。

提出了一种“向前移动算法”及其一些形式性质，用于LR解析器的实用语法错误恢复方案。该算法在错误点右侧找到“有效片段”（相当于有效前缀）。。。

局部约束方法试图以明显的上下文敏感形式描述无上下文语言，这有助于保留对语法结构的直观见解。这种形式的描述，虽然显然是上下文。。。