Automates a contraintes arithmetiques et procedures d'evaluation ascendante de programmes logiques

par MARCOS VELOSO PEIXOTO

Thèse de doctorat en Sciences appliquées

Sous la direction de Laurent Fribourg.

Soutenue en 1994

à Paris 7 .


  • Résumé

    Cette these se divise en deux parties: la premiere partie presente un modele permettant de representer des systemes concurrents parametres (c'est-a-dire, manipulant une quantite non bornee de donnees). On montrera dans cette premiere partie que le probleme de verification de proprietes de ces systemes se ramene a un probleme d'evaluation ascendante de programmes logiques. Dans la deuxieme partie, nous apportons une contribution au probleme du calcul du resultat de l'evaluation ascendante de programmes logiques avec des contraintes arithmetiques. Nous definissons une classe de programmes logiques sur des entiers dans laquelle le processus d'evaluation ascendante engendre toujours une formule arithmetique lineaire. Un programme appartenant a cette classe contient au plus trois regles recursives, qui possedent, chacune, un seul atome arithmetique dans le corps. Nous adoptons une approche geometrique pour construire le resultat du processus d'evaluation ascendante

  • Titre traduit

    Automata with arithmetic constraints and bottom-up evaluation procedures for logic programs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

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

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : G-VEL
  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • Disponible pour le PEB
  • 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/PEI

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 : 1994PA077194
  • 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.