理论计算机科学电子笔记

窄化最初是为了解决方程的E-统一问题而引入的。它还被认为是统一功能和逻辑编程的关键机制。在这两种情况下，缩小支持等式推理，并假设合流。。。

Expander2是一个灵活的多用途工作台，用于交互式重写、验证、约束求解、流图分析和其他建立证明或计算序列的过程。此外，量身定制的口译员将术语显示为两个。。。

故障计算是函数逻辑程序中的一种典型编程技术。然而，也有一些情况下，程序不应该失败（例如，在确定性顶级计算中），但评估意外失败，例如，由于。。。

在本文中，我们建议将声明式调试的思想应用于面向对象语言Java，以替代命令式语言中使用的传统跟踪调试器。声明性调试器构建适当的计算树。。。

本文是函数逻辑语言调试综合方法的一部分。整个项目的基本思想是通过副作用跟踪功能逻辑程序的执行，然后对记录的数据给出不同的观点。在…中。。。

通过观察表达式和函数的求值进行调试是查找惰性函数和函数逻辑程序中的错误的有用方法。然而，在程序中添加和删除观察注释是一种利用。。。

程序切片是一种通过分析程序的数据和控制流来分解程序的方法。基于切片的技术在软件工程领域有许多应用（如程序调试、测试、代码重用、维护等）。正在切片。。。

多控制部分评估（PCPE）是最近提出的一种专门化逻辑程序的灵活方法。它考虑了全局控制和局部控制规则，而不是单一的、预先确定的。。。

本文提出了在功能逻辑系统TOY中集成称为动态切割的优化。该实现在编译时自动检测确定性函数，并在生成的代码中包含对。。。

我们展示了如何使用（有限，二进制）关系代数和集成函数逻辑编程语言Curry的特性在一个非常高级的。。。

程序员需要存储特定于应用程序的数据的机制，这些数据可以持久化多个程序的运行。为了完成这项任务，他们通常必须处理特定于存储的代码来访问文件或关系数据库。功能逻辑编程。。。

元编程包括编写生成或操作其他程序的程序。Template Haskell是Haskel的最新扩展，目前在格拉斯哥HaskellCompiler中实现，支持在编译时进行元编程。我们的目标。。。

时间表示和推理的重要性不仅在数据库界，而且在人工智能界也是众所周知的。上下文逻辑编程[Antonio Porto和Luis Monteiro。上下文逻辑编程。Giorgio。。。

约束函数逻辑编程的CFLP方案具有对应于不同约束域D的实例CFLP（D）。在本文中，我们提出了一种用于构建协调域C的合并和构造，适用于表示。。。

在使用约束编程解决时间表问题时，标记是至关重要的。传统上，标记策略基于关于变量及其域的静态和动态信息，并选择变量和值以。。。

我们描述了在函数逻辑语言Curry中对代数数据项引入不等量约束，以及它们在我们的Curry编译器Sloth中的实现。这一添加从几个方面扩展了Curry的标准定义。打开。。。