期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Inverse Computation and the Universal Resolving Algorithm
1
作者 Sergei Abramov 1, Robert Glück 2 1 Program Systems Institute Russian Academy of Sciences, RU 152140 Pereslavl Zalessky, Russia 2 PRESTO,JST & Institute for Software Production Technology, Waseda University, Tokyo 169 8555, Japan 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期31-45,共15页
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 co... 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. 展开更多
关键词 inverse programming perfect process tree program transformation inverse interpretation program inversion functional languages
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部