Grard D. Guiho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1977–1990
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | ICSE | SACEM Software Validation (Experience Report). | Grard D. Guiho, Claude Hennebert |
| 1987 | WI | Objectoriented Something (OOX), a General Paradigm (Abstract). | Grard D. Guiho |
| 1984 | ICSE | Exception Handling: Formal Specification and Systematic Program Construction. | Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Grard D. Guiho |
| 1983 | IJCAI | Automatic Programming Using Abstract Data Types. | Grard D. Guiho |
| 1980 | CADE | Program Synthesis from Incomplete Specifiactions. | Grard D. Guiho, Christian Gresse |
| 1979 | IJCAI | A System which Synthesizes Array-Manipulating Programs from Specifications. | Michel Bidoit, Christian Gresse, Grard D. Guiho |
| 1977 | IJCAI | SISP/1: An Interactive System Able to Synthesize Functions from Examples. | Jean-Pierre Jouannaud, Grard D. Guiho, Jean-Pierre Treuil |