Gérard D. Guiho

According to our database, Gérard D. Guiho authored at least 9 papers between 1977 and 1993.

Collaborative distances:

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

1993

SACEM: A Fault Tolerant System for Train Speed Control.

Claude Hennebert, Gérard D. Guiho

Proceedings of the Digest of Papers: FTCS-23, 1993

1990

SACEM Software Validation (Experience Report).

Gérard D. Guiho, Claude Hennebert

Proceedings of the 12th International Conference on Software Engineering, 1990

1987

Objectoriented Something (OOX), a General Paradigm (Abstract).

Gérard D. Guiho

Proceedings of the Wissensbasierte Systeme, 1987

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

1983

Automatic Programming Using Abstract Data Types.

Gérard D. Guiho

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

Multi-Operator Algebras.

Gérard D. Guiho

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 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

1977

SISP/1: An Interactive System Able to Synthesize Functions from Examples.

Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977