Implicit program synthesis by a reversible metainterpreter (1998)

by H Christiansen
Venue:Proc. of LOPSTR’97, volume 1463 of LNCS