@inproceedings{3dc65d2074be11dbbee902004c4f4f50,
title = "Derivation of deterministic inverse programs based on LR parsing",
abstract = "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 program for run-length encoding. We solve one of the main problems of automatic program inversion—the elimination of nondeterminism—by viewing an inverse program as a context-free grammar and applying to it methods of LR parsing to turn it into a recursive, deterministic inverse program. This improves the efficiency of the inverse programs and greatly expands the application range of our earlier method for program inversion.",
author = "Robert Gl{\"u}ck and Masahiko Kawabe",
year = "2004",
doi = "10.1007/978-3-540-24754-8_21",
language = "English",
isbn = "3-540-21402-X",
series = "Lecture notes in computer science",
publisher = "Springer Verlag",
pages = "291--306",
booktitle = "Functional and Logic Programming",
}