Inverse computation and the Universal Resolving Algorithm |
| |
| Authors: | Sergei Abramov Robert Glück |
| |
| Institution: | 1. Program Systems Institute Russian Academy of Sciences, RU-152140, Pereslavl-Zalessky, Russia
2. PRESTO, JST & Institute for Software Production Technology, Waseda University, 169-8555, Tokyo, Japan
|
| |
| Abstract: | We survey fundamental concepts for inverse programming and then present the Universal Resolving Algorithm, an algorithm for inverse computation in a first-order, functional programming language. We discuss the key concepts of the algorithm, including a three-step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples of inverse computation. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
