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

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

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

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

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

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