Semantique denotationnelle de s3l un langage de flux, d'ensembles et de suites et son implantation en caml

par Sophie Anglade

Thèse de doctorat en Sciences appliquées

Sous la direction de Bernard Lorho.

Soutenue en 1988

à Orléans .

    mots clés mots clés


  • Résumé

    L'originalite du langage presente est due a une nouvelle notion intermediaire: le flux (ou n-uplet d'elements) qui rend compte de la notion de "pluriel" par opposition a l'ensemble ou les objets sont "enserres" dans une structure fixe. Une definition formelle du langage a ete ecrite a l'aide de l'approche semantique denotationnelle. Enfin, a partir des equations semantiques obtenues une implantation a ete effectuee avec le langage ml disponible dans le systeme caml


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 260 P.
  • Annexes : 58 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Orléans. Service commun de la documentation.Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.