Modeles denotationnels des langages sequentiels

par Antonio Bucciarelli

Thèse de doctorat en Sciences appliquées

Sous la direction de Pierre-Louis Curien.

Soutenue en 1994

à Paris 11 .

    mots clés mots clés


  • Résumé

    Le cadre fourni par les domaines et les fonctions continues de scott est trop riche pour interpreter des langages sequentiels tels que pcf, car il existe des fonctions continues qui ne sont pas definissables par des tels langages (un exemple typique est celui de la fonction de ou parallele). Plusieurs modeles stables et sequentiels ont ete definis (par berry, curien, kahn, plotkin entre autres) pour caracteriser les fonctions definissables par des termes de pcf, mais aucun d'entre eux n'est completement adequat (c'est a dire que tous contiennent des elements non definissables). Dans cette these on construit quelques nouveaux modeles de pcf, bases sur la notion de sequentialite, au sens de kahn-plotkin ou de berry-curien. Afin de generaliser la notion de sequentialite de kahn et plotkin a une classe de domaines plus vaste que celle des domaines concrets, on presente la notion de structure sequentielle, definie par la donnee d'un domaine et d'un ensemble de proprietes lineaires sur ce domaine. Ce nouveau cadre met en evidence certaines proprietes des calculs sequentiels (qu'on avait du mal a deceler dans les modeles preexistants), et il nous mene vers la definition d'un modele extensionnel dont les objets sont des di domaines equipes d'une coherence (qui est un predicat sur les parties finies du domaine) et dont les morphismes sont des fonctions fortement stables, qui preservent les parties coherentes et leurs extremes inferieurs. Dans la derniere partie de la these on reintroduit l'ordre point par point dans le modele fortement stable

  • Titre traduit

    Denotational models of sequential languages


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 119 P.
  • Annexes : 59 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • 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-011930

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-BUC
  • 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.