A System which Synthesizes Array-Manipulating Programs from Specifications.

Michel Bidoit, Christian Gresse, Grard D. Guiho

Browse the full IJCAI paper archive.