Surcharge, sous-typage et liaison tardive : fondements fonctionnels de la programmation orientee objets

par Giuseppe Castagna

Thèse de doctorat en Sciences appliquées

Sous la direction de Giuseppe Longo.

Soutenue en 1994

à Paris 7 .

    mots clés mots clés


  • Résumé

    L'objectif de cette these est de donner de nouveaux fondements fonctionnels a la programmation orientee objets, dans un cadre completement type. Les elements fondamentaux consideres sont la surcharge, le sous-typage et la liaison tardive. Un cadre formel est developpe afin de pouvoir etudier les langages objets fortement et statiquement types. Ainsi nous degageons un modele pour ces langages totalement orthogonal aux modeles par enregistrements. Dans ce modele il est possible d'interpreter, entre autres, le mecanisme de dispatch multiple et de changement de classe, l'extension et la redefinition des methodes d'une classe (sans modifier le type des objets), les messages en tant que valeurs de premiere classe et les classes partiellement abstraites. En outre ce modele explique les roles de la covariance et de la contravariance dans le sous-typage. Tout ceci est introduit de maniere formelle: nous commencons par definir une extension du lambda-calcul simplement type afin de modeliser la surcharge, le sous-typage et la liaison tardive ; nous en etudions les proprietes syntaxiques et la semantique. Certaines variantes sont definies afin de modeliser d'autres constructions des langages objets et afin d'etudier l'optimisation de ces langages a la compilation. Nous utilisons ces variantes pour interpreter un langage objet simple et montrer la correction de son systeme de types. Nous passons ensuite a l'etude des formalismes de second ordre: nous montrons comment rendre decidable fsub et comment l'etendre par la surcharge avec liaison tardive, tout en conservant la decidabilite ; nous utilisons cette derniere extension pour resoudre les problemes de perte d'information dans le typage des langages objets et pour suggerer de nouvelles extensions. Cette recherche se situe dans un cadre plus general d'etude de formalismes ou le calcul depend directement des types

  • Titre traduit

    Overloading, subtyping and late binding: functional foundation of object-oriented programming


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 331 P.
  • Annexes : 98 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : G-CAS
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1994
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : G2A 279/1994/CAS

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1994-CAS
  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • Disponible pour le PEB
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.