Une rationalisation semantique de la programmation logico-fonctionnelle. Application a la traduction de programmes logiques

par CHRISTOPHE MATIACHOFF

Thèse de doctorat en Sciences appliquées

Sous la direction de P. BELLOT.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    Le but de la these est de concevoir un langage de programmation regulier, qui permette l'execution de tout programme lisp ou prolog. Pour cela, nous definissons les semantiques denotationnelles de ces deux langages, en discutant des principales divergences entre dialectes. Ces semantiques nous aident a analyser les langages logico-fonctionnels proposes precedemment: langages a base de regles de reecriture ou d'equations, interfaces lisp-prolog et extensions logiques de langages fonctionnels. Nous constatons que seules ces dernieres vont plus loin qu'une simple juxtaposition de deux langages et offrent les caracteristiques imperatives de lips et prolog. Par comparaison des semantiques de lisp et prolog, nous elaborons celle d'une nouvelle integration, nommee ella. Ella est une extension minimale de lisp qui integre des inconnues de premiere classe, l'indeterminisme de prolog et le gel de calculs. Elle dispose d'echappements sans interaction avec les inconnues et qui distinguent clairement les continuations de succes et d'echec. Ainsi il est possible d'abandonner des calculs prevus sans supprimer de choix restant a explorer, et reciproquement. Nous verifions qu'ella preserve la semantique des programmes lisp. Nous presentons une traduction syntaxique de tout programme prolog en programme ella equivalent. En particulier, sont traduits le coupe-choix, le gel et les modifications dynamiques de la base de donnees. L'etude de la correction de la traduction conclut l'expose. Elle permet d'affirmer qu'ella possede bien les puissances d'expression de lisp et de prolog


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 280 P.
  • Annexes : 519 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1994 648
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1994
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.