Christian Gresse

Publication Activity (10 Years)

Years Active: 1979-1989
Publications (10 Years): 0

Publications

Jacques Bellone, AbdelAli Ed-Dbali, Christian Gresse
Generic Extensions of a Prolog Browser. SPLT (1989)
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
Exception Handling: Formal Specification and Systematic Program Construction. IEEE Trans. Software Eng. 11 (3) (1985)
Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. AIMSA (1984)
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
Exception Handling: Formal Specification and Systematic Program Construction. ICSE (1984)
Christian Gresse
Automatic Programming From Data Types Decomposition Patterns. IJCAI (1983)
Gérard D. Guiho, Christian Gresse
Program Synthesis from Incomplete Specifiactions. CADE (1980)
Michel Bidoit, Christian Gresse, Gérard D. Guiho
A System which Synthesizes Array-Manipulating Programs from Specifications. IJCAI (1979)