Gérard D. Guiho

3 papers in the IJCAI proceedings

IJCAI 1983

Automatic Programming Using Abstract Data Types

Details PDF

IJCAI 1979

A System which Synthesizes Array-Manipulating Programs from Specifications

with Michel Bidoit, Christian Gresse

Details PDF

IJCAI 1977

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

with Jean-Pierre Jouannaud, Jean-Pierre Treuil

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings