Guiho, Gérard D.

3 publications

IJCAI 1983 Automatic Programming Using Abstract Data Types Gérard D. Guiho

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

IJCAI 1977 SISP/1: An Interactive System Able to Synthesize Functions from Examples Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil