Christian Gresse

According to our database, Christian Gresse authored at least 6 papers between 1979 and 1989.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1989

Generic Extensions of a Prolog Browser.

Jacques Bellone, AbdelAli Ed-Dbali, Christian Gresse

Proceedings of the SPLT'89, 1989

1985

Exception Handling: Formal Specification and Systematic Program Construction.

Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho

IEEE Trans. Software Eng., 1985

1984

Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization.

Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1983

Automatic Programming From Data Types Decomposition Patterns.

Christian Gresse

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1980

Program Synthesis from Incomplete Specifiactions.

Gérard D. Guiho, Christian Gresse

Proceedings of the 5th Conference on Automated Deduction, 1980

1979

A System which Synthesizes Array-Manipulating Programs from Specifications.

Michel Bidoit, Christian Gresse, Gérard D. Guiho

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979