Principles of Inverse Computation and the Universal Resolving Algorithm
Principles of Inverse Computation and the Universal Resolving Algorithm
复制标题
逆向计算原理及通用求解算法
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
R. Glück
中科院分区：
文献类型：
--
作者：
Sergei M. Abramov;R. Glück
我们调查的基本概念，在逆编程，并提出了通用解决算法（URA），一个算法的逆计算的一阶，函数式编程语言。我们讨论了算法背后的原则，包括一个三步的方法，基于一个完美的过程树的概念，并展示了我们的实施与几个例子。我们解释的想法，语义修改器的逆计算，使我们能够通过解释器在其他编程语言中执行逆计算。
We survey fundamental concepts in inverse programming and present the Universal Resolving Algorithm (URA), an algorithm for inverse computation in a first-order, functional programming language. We discuss the principles behind the algorithm, including a three-step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples. We explain the idea of a semantics modifier for inverse computation which allows us to perform inverse computation in other programming languages via interpreters.
DOI：
10.1007/978-3-642-13321-3_5
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Boiten E
通讯作者：
Boiten E