A Grammar-Based Approach to Invertible Programs.

Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi

Browse the full ESOP paper archive.