论文标题
随着动态编程的应用而不断发展的递归定义
Evolving Recursive Definitions with Applications to Dynamic Programming
论文作者
论文摘要
受计算性逻辑\ cite {jap03}的启发，我们将递归函数定义分为两种：盲目量化（bq）和并行普遍量化（PUQ）。 BQ定义对应于传统的递归定义是$ $不断发展的传统定义。在计算过程中，PUQ定义是{\ it It Evolving}，导致自动记忆。此外，基于这个想法，我们提出了一种新的高级面向对象的语言。
Inspired by computability logic\cite{Jap03}, we refine recursive function definitions into two kinds: blindly-quantified (BQ) ones and parallel universally quantified (PUQ) ones. BQ definitions corresponds to the traditional ones where recursive definitions are $not$ evolving. PUQ definitions are {\it evolving} in the course of computation, leading to automatic memoization. In addition, based on this idea, we propose a new, high-level object-oriented language.
