skip to main content

ANALYSE SEMANTIQUE DE STRUCTURES DE DONNEES DYNAMIQUES AVEC APPLICATION AU CAS PARTICULIER DE LANGAGES LISPIENS

Stransky, Jan (1961-....) ; Cousot, Patrick

S.l. : s.n., 1988

Voir les exemplaires  et autres localisations

  • Titre:
    ANALYSE SEMANTIQUE DE STRUCTURES DE DONNEES DYNAMIQUES AVEC APPLICATION AU CAS PARTICULIER DE LANGAGES LISPIENS
  • Auteur: Stransky, Jan (1961-....)
  • Autre(s) auteur(s): Cousot, Patrick
  • Sujets: LANGAGE LISP ;
    ANALYSE SEMANTIQUE ;
    Pointeur ;
    H-LOGICIEL
  • Description: DOCTORAT D'ETAT
    L'OBJECTIF EST DE PRESENTER UNE METHODE PERMETTANT D'OBTENIR, PAR ANALYSE SEMANTIQUE DU CODE SOURCE D'UN PROGRAMME, DES INFORMATIONS SUR CE QUE SERA LA STRUCTURE DES DONNEES DYNAMIQUES A L'EXECUTION DE CE PROGRAMME
  • Éditeur: S.l. : s.n.
  • Date de publication: 1988
  • Format: 127 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é