SISP/1: An Interactive System Able to Synthesize Functions from Examples.

Jean-Pierre Jouannaud, Grard D. Guiho, Jean-Pierre Treuil

Browse the full IJCAI paper archive.