144
click to vote
APLAS
2003
ACM
16 years 6 days ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
182
click to vote
FLOPS
2004
Springer
16 years 10 days ago
2004
Springer
We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a...