ML Anthology

Bidoit, Michel

1 publications

IJCAI 1979 A System Which Synthesizes Array-Manipulating Programs from Specifications Michel Bidoit, Christian Gresse, Gérard D. Guiho