Guiho, Gérard, 1945-
Guiho, Gérard
Gérard Guiho informaticien français
VIAF ID: 111201389 (Personal)
Permalink: http://viaf.org/viaf/111201389
Preferred Forms
-
- 100 1 0 ‡a Guiho, Gérard, ‡d 1945-
-
-
- 100 1 _ ‡a Guiho, Gérard, ‡d 1945-....
-
- 100 1 _ ‡a Guiho, Gérard (sparse)
-
- 100 1 _ ‡a Guiho, Gérard ‡d 1945-
-
- 100 0 _ ‡a Gérard Guiho ‡c informaticien français
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Algebraic semantics of FP languages a LISP interpreter and its proff | |
Algèbres à opérateurs multicibles | |
Algorithmes de factorisation d'entiers | |
Algorithms for detecting recurrence relations : application to the synthesis and transformation of programs. | |
Automatic program construction techniques | |
CIGALE : un outil pour la construction interactive de grammaires et l'analyse d'expressions | |
Commande d'un robot en langage naturel dans un domaine nécessitant des connaissances pragmatiques : les recettes de cuisine | |
Computer Program Synthesis Methodologies : Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 | |
Conception et certification de programmes à partir d'une décomposition par les données | |
Contribution to the parallelism specification : CSP applications. | |
Étude et réalisation d'un langage objet : LORE | |
Evaluation des performances d'algorithmes préservant la cohérence de bases de données réparties | |
Généralisation en apprentissage à partir d'exemples | |
Generalization in machine leaving from examples. | |
A Learning system : able to synthesizes arithmetical functions | |
LQAS: Un systeme question-response base sur l'apprentissage avec professeur | |
Manipulation de programmes pascal au niveau des concepts du langage | |
Une méthode de présentation des types abstraits : applications | |
Modélisation du fonctionnement d'un système de traitement multi-ordinateurs | |
Organisation de mémoires : influence d'une structure et étude d'optimisation | |
Program synthesis from incomplete specifications | |
Programming environment : description and perspectives. | |
Une sémantique algébrique de Pascal et application à la spécification d'un compilateur Pascal-P-code | |
Spécification algébrique de types de données à accès concurrent | |
Specification language to algebraic abstract-data types. | |
Spécifications sémantiques dans le système mentor | |
Studies in object-oriented programming : the lore langage. | |
Suggestion pour une programmation systématique et sure des cas d'exception en ADA | |
Sur les nombres sous-Ramsey | |
Vers des interfaces graphiques evoluées : UFO, un méta-modèle d'interaction |