Derivation of deterministic inverse programs based on LR parsing
Robert Glück
and Masahiko Kawabe
Proc. 7th Int. Symp. Functional and Logic Programming (FLOPS 2004), Lecture Notes in Computer Science 2998, Y. Kameyama
and P. J. Stuckey, ed., Springer-Verlag, 2004, pp. 291–306
Tech. report D-506, Univ. of Copenhagen, Dept. of Computer Science, 2004
ftp://ftp.diku.dk/diku/semantics/papers/D-506.ps.gz
Cites:
