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:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!