Equator : un langage de programmation logique type fonde sur l'unification equationnelle

par THIERRY CONRAD

Thèse de doctorat en Sciences appliquées

Sous la direction de Yves Kodratoff.

Soutenue en 1990

à Paris 11 .

    mots clés mots clés


  • Résumé

    L'arrivee de prolog a constitue une avancee majeure dans le domaine des langages de programmation. Dans sa version de base, ce langage souffre toutefois de la pauvrete de son environnement de programmation. L'idee a la base de ce travail est d'etendre prolog de facon a le rendre plus sur et plus efficace. Nous pensons avoir contribue de facon originale a la realisation de cette idee grace a une technique baptisee typage equationnel. Cette approche a pour caracteristique essentielle d'unifier et donc de simplifier au maximum les concepts utilises. Nous exposons en detail nos motivations en enumerant un certain nombre de points constituant les faiblesses de prolog. Nous degageons de cela une idee directrice centree sur le typage qui doit permettre d'apporter des solutions de facon homogene. Nous decrivons le langage qui servira de support aux enrichissements proposes. Ce langage qui est un sur-ensemble de prolog est fonde sur la notion d'unification equationnelle. Le typage equationnel est defini et les proprietes de polymorphisme du langage sont etudiees. Un module d'inference de types qui complete notre systeme est egalement decrit. Nous proposons des exemples d'application et decrivons en detail une implementation du langage


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 50 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-009943
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.