Christian Gresse

LRI Bat . 490; Universite PARIS-SUD F 91405 ORSAY CEDEX FRANCE

2 papers in the IJCAI proceedings

IJCAI 1983

Automatic Programming From Data Types Decomposition Patterns

Details PDF

IJCAI 1979

A System which Synthesizes Array-Manipulating Programs from Specifications

with Michel Bidoit, Gérard D. Guiho

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings