Principles of Inverse Computation and the Universal Resolving Algorithm [chapter]

Sergei Abramov, Robert Glück
2002 Lecture Notes in Computer Science  
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
more » ... her programming languages via interpreters. On leave from DIKU,
doi:10.1007/3-540-36377-7_13 fatcat:75bwzlgv5bhivdzqbhahukzrui