skip to main content

UTILISATION DES TRANSFORMATIONS SEMANTIQUES POUR LA CORRECTION AUTOMATIQUE DES PROGRAMMES

ADAM, ANNE

S.l. : s.n., 1978

Voir les exemplaires

  • Titre:
    UTILISATION DES TRANSFORMATIONS SEMANTIQUES POUR LA CORRECTION AUTOMATIQUE DES PROGRAMMES
  • Auteur: ADAM, ANNE
  • Sujets: ANALYSE DE PROGRAMME ;
    Transformation de programme ;
    H-LOGICIEL
  • Description: Mines : FRA .
    DOCTORAT D'ETAT
    SYNTAXE ET SEMANTIQUE DES PROGRAMMES. PROBLEMES DE REPRESENTATION. LES TRANSFORMATIONS DE PROGRAMMES NE MODIFIANT PAS LES CIRCUITS. LES TRANSFORMATIONS QUI MODIFIENT LES CIRCUITS DU GRAPHE. APPLICATION DES TRANSFORMATIONS DE PROGRAMME A LA CORRECTION DE PROGRAMMES: LE SYSTEME LAURA
  • Éditeur: S.l. : s.n.
  • Date de publication: 1978
  • Format: 119-(11) P. ; 30 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é