The Universal Resolving Algorithm: Inverse Computation in a Functional Language (2000)
| Venue: | in Mathematics of Program Construction. Proceedings |
| Citations: | 18 - 3 self |
BibTeX
@INPROCEEDINGS{Abramov00theuniversal,
author = {Sergei Abramov and Robert Glück},
title = {The Universal Resolving Algorithm: Inverse Computation in a Functional Language},
booktitle = {in Mathematics of Program Construction. Proceedings},
year = {2000},
pages = {187--212},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present an algorithm for inverse computation in a first-order functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) introduced in this paper is sound and complete, and computes each solution, if it exists, in finite time. The algorithm has been implemented for TSG, a typed dialect of S-Graph, and shows some remarkable results for the inverse computation of functional programs such as pattern matching and the inverse interpretation of While-programs.
