Snail : une approche ensembliste pour l'intégration de types et fonctions en PROLOG

par Jean-Yves Cras

Thèse de doctorat en Informatique

Sous la direction de Yves Kodratoff.

Soutenue en 1987

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne) (autre partenaire) .

Le jury était composé de Yves Kodratoff.


  • Résumé

    Un nouveau paradigme de calcul appelé programmation ensembliste, est présente. La notion de programme ensembliste est définie et une théorie du modèle construite. Des règles d'inférence, correctes et complètes pour cette sémantique, sont données. Snail est une extension compatible de prolog dont la sémantique déclarative est celle de la programmation ensembliste

  • Titre traduit

    Snail : a set-theoretic approach to the integration of types and function in prolog


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (221 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 213 - 217

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1987)323
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-034651

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1987PA112323
  • 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.