Gresse, Christian

2 publications

IJCAI 1983 Automatic Programming from Data Types Decomposition Patterns Christian Gresse

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