Revisiting an automatic program inverter for Lisp

@article{Glck2005RevisitingAA,
  title={Revisiting an automatic program inverter for Lisp},
  author={Robert Gl{\"u}ck and Masahiko Kawabe},
  journal={SIGPLAN Notices},
  year={2005},
  volume={40},
  pages={8-17}
}
We reformulate the Korf-Eppstein method for automatic inversion offirst-order functional programs using a structural operationalsemantics and compare it with the program inversion methoddescribed by Gries. We analyze the method and suggest possibleextensions. The method is noteworthy in that it was used toconstruct the first automatic program inverter… CONTINUE READING