A program inverter for a functional language with equality and constructors
Robert Glück
and Masahiko Kawabe
Proc. 1st Asian Symp. Programming Languages and Systems (APLAS 2003), Lecture Notes in Computer Science 2895, A. Ohori, ed., Springer-Verlag, 2003, pp. 246–264
Tech. report D-491, Univ. of Copenhagen, Dept. of Computer Science, 2003
ftp://ftp.diku.dk/diku/semantics/papers/D-491.ps.gz
Cites:
