Gérard D. Guiho

Universite Paris Sud LRI - Bat. 490 91405 ORSAY - FRANCE

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