Gérard D. Guiho

Publication Activity (10 Years)

Years Active: 1977-1993
Publications (10 Years): 0

Publications

Claude Hennebert, Gérard D. Guiho
SACEM: A Fault Tolerant System for Train Speed Control. FTCS (1993)
Gérard D. Guiho, Claude Hennebert
SACEM Software Validation (Experience Report). ICSE (1990)
Gérard D. Guiho
Objectoriented Something (OOX), a General Paradigm (Abstract). Wissensbasierte Systeme (1987)
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)
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
Exception Handling: Formal Specification and Systematic Program Construction. ICSE (1984)
Gérard D. Guiho
Multi-Operator Algebras. ADT (1983)
Gérard D. Guiho
Automatic Programming Using Abstract Data Types. 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)
Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil
SISP/1: An Interactive System Able to Synthesize Functions from Examples. IJCAI (1977)