145
Voted
APLAS
2003
ACM
16 years 7 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...
183
Voted
FLOPS
2004
Springer
16 years 11 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...