Conception et realisation d'une extension du langage ml avec des objets

par JEROME VOUILLON

Thèse de doctorat en Sciences et techniques communes

Sous la direction de Michel Mauny.

Soutenue en 2000

à Paris 7 .

    mots clés mots clés


  • Résumé

    Les objets se sont imposes comme un concept informatique incontournable : les principaux langages de programmation utilises actuellement ont soit ete concus a la base pour permettre ce style de programmation, soient ont ete etendues avec les constructions necessaires. Le language ml est un langage fonctionnel statiquement type avec synthese de type. L'addition d'objets a ce langage s'avere difficile, notamment a cause des contraintes tres fortes necessaire afin de pouvoir synthetiser les types. Ce travail presente une extension de ce langage avec des objets et des classes qui s'integre bien avec les autres constructions de ml, tout en etant tres expressive. Nous decrivons en detail l'ensemble de cette extension : nous presentons le typage des objets et des classes, et montrons comment ces constructions sont compilees.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 156 p.
  • Annexes : 32 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 : TS2000
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.