skip to main content

Sémantique relationnelle des programmes non-déterministes et des processus communicants

Guerreiro, Pedro J.V.D

s.l., 1981

Voir les exemplaires

  • Titre:
    Sémantique relationnelle des programmes non-déterministes et des processus communicants
  • Auteur: Guerreiro, Pedro J.V.D
  • Sujets: PROCESSUS COMMUNICANT -- SÉMANTIQUE RELATIONNELLE ;
    PROGRAMME SÉQUENTIEL NON DÉTERMINISTE -- SÉMANTIQUE RELATIONNELLE ;
    SEMANTIQUE ;
    Parallélisme ;
    Preuve de programme ;
    H-INF.TH.
  • Description: Mines : FRA .
    Thèse 3e cycle
    ETUDE DES PROGRAMMES SEQUENTIELS NON DETERMINISTES ET MODELISATION DE LEUR COMPORTEMENT PAR DES RELATIONS BINAIRES "DONNEE-RESULTAT". DEVELOPPEMENT, A L'AIDE DE CES RELATIONS UN CERTAIN NOMBRE D'OUTILS MATHEMATIQUES IMPORTANTS D'UN POINT DE VUE SEMANTIQUE ET DE CARACTERISATION DE PROPRIETES DE PROGRAMME. INTRODUCTION DES CONCEPTS FONDAMENTAUX D'INVARIANT ET DE TRAJECTOIRE. UTILISATION DES RESULTATS PRESENTES POUR FOURNIR UNE SEMANTIQUE RELATIONNELLE DU LANGAGE DES COMMANDES GARDEES. ILLUSTRATION DE L'UTILISATION DE CETTE SEMANTIQUE DANS DES PREUVES DE CORRECTION DE PROGRAMMES, EN PARTICULIER CEUX QUI CALCULENT DES FONCTIONS DEFINIES RECURSIVEMENT. COMMENT TRANSFORMER LE FORMALISME DE DESCRIPTION EN UN VERITABLE LANGAGE DE PROGRAMMATION. EXEMPLE DE PROGRAMMATION PARALLELE
  • Éditeur: s.l.
  • Date de publication: 1981
  • Format: [15]-215 p ; 21 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré