Programmation visuelle par contraintes et typage statique

par MASSIMO PALTRINIERI

Thèse de doctorat en Sciences appliquées

Sous la direction de François Fages.

Soutenue en 1998

à Paris 7 .

    mots clés mots clés


  • Résumé

    La these est composee de trois parties. La premiere partie definit de facon formelle la programmation logique par contraintes typee, enrichissement, par les types statiques, du schema classique de la programmation logique par contraintes. L'objectif de ce systeme de type prescriptif est de detecter statiquement des erreurs et d'introduir une discipline de type sur le mode de combinaison des programmes, tout en maintenant la capacite de typer les predicats de meta-programmation grace a la flexibilite du sous-typage. Un algorithme complet de verification de type est presente. L'inference de type revient a resoudre des systemes d'inegalites dont la decidabilite est connue seulement sous des hypotheses sur la structure de la relation de sous-typage. Une fois le systeme de type generique (independant de tout domaine de calcul) defini, il est applique dans la seconde partie aux structures a traits. La troisieme partie demontre de facon empirique que un systeme de programmation visuelle par contraintes peut etre construit sur le typage statique. Dans la premiere phase du processus de developpement, les types statiques, telles que les classes, et leurs semantiques, tels que leurs attributs, sont definis graphiquement. Dans la seconde phase, les associations et les contraintes sur les types statiques sont saisies de facon interactive dans le systeme. Le resultat implicite de la premiere phase est la declaration statique, tandis que le resultat de la deuxieme phase est la serie des clauses du programme qui sera execute. Une fois le probleme defini, le systeme calcule automatiquement une solution, c'est-a-dire une affectation de valeurs aux variables (attributs d'objet) telle que toutes les contraintes soient satisfaites.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 122 P.
  • Annexes : 152 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1998
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.