|
Équipe Calcul Formel
Dominique Duval
|
|
THEME DE RECHERCHES
Mise à jour : mars 2000
Méthodes formelles pour le génie logiciel :
utilisation de la théorie des catégories et des esquisses
pour les questions de spécification en informatique.
Spécifications sans modèle initial et application à
l'évaluation dynamique, avec J.-C. Reynaud.
Projet "Esquisses et Spécifications" avec C. Lair:
mise en place d'outils pour l'étude des aspects implicites
des langages informatiques: trames et mosaïques,
produits en couronne et en ruban.
Applications du projet "Esquisses et Spécifications",
avec C. Lair et le groupe de travail Esquisses et Calcul Formel :
notion d'état, programmation impérative, modes d'évaluation,
traitement d'erreurs, partalité, surcharge, coercitions, sous-sortes,
sémantique des logiciels de modélisation graphique, etc
Calcul formel.
Manipulation de nombres et de fonctions algébriques :
thèse de M. Rybowicz.
manipulation de paramètres par la méthode d'évaluation dynamique :
thèses de T. Gomez Diaz et S. Dellière.
Intégration de fonctions algébriques : thèse de L. Bertrand,
factorisation absolue de polynômes : thèse de J.-F. Ragot,
triangularisation de systèmes polynomiaux : thèse de S. Dellière.
Etude du système de typage du langage de calcul formel Aldor :
thèse de E. Touratier.