武汉大学学报(英文版)
武漢大學學報(英文版)
무한대학학보(영문판)
WUHAN UNIVERSITY JOURNAL OF NATURAL SCIENCES
2001年
1期
31-45
,共15页
We survey fundamental concepts for inverse programming and thenpresent the Uni v ersal Resolving Algorithm, an algorithm for inverse computation in a first-orde r , 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.
