| 1989 |
|---|
| 6 | | Jacques Bellone,
AbdelAli Ed-Dbali,
Christian Gresse:
Generic Extensions of a Prolog Browser.
SPLT 1989: 331-344 |
| 1985 |
|---|
| 5 | | 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): 242-252 (1985) |
| 1984 |
|---|
| 4 | | 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: 113-120 |
| 3 | | Michel Bidoit,
Brigitte Biebow,
Marie-Claude Gaudel,
Christian Gresse,
Gérard D. Guiho:
Exception Handling: Formal Specification and Systematic Program Construction.
ICSE 1984: 18-29 |
| 1983 |
|---|
| 2 | | Christian Gresse:
Automatic Programming From Data Types Decomposition Patterns.
IJCAI 1983: 37-39 |
| 1980 |
|---|
| 1 | | Gérard D. Guiho,
Christian Gresse:
Program Synthesis from Incomplete Specifiactions.
CADE 1980: 53-62 |
