skip to main content

Une formalisation des structures de contrôle de Prolog

Billaud, Michel

S.l. : s.n., 1985

Voir les exemplaires

  • Titre:
    Une formalisation des structures de contrôle de Prolog
  • Auteur: Billaud, Michel
  • Sujets: Langage PROLOG;
    Transformation de programme;
    Langage de programmation;
    H-LOGICIEL
  • Description: Mines : FRA .MAJ:+BNI 2059 02-08-91
    Th. 3e cycle
    DANS CE TRAVAIL NOUS PRESENTONS UNE FORMALISATION DES OPERATEURS DE CONTROLE DE PROLOG. CETTE FORMALISATION PERMET L'ETUDE DE LA STRATEGIE DEPTH-FIRST ADOPTEE POUR L'INTERPRETATION DE CE LANGAGE, ET NOTAMMENT DU ROLE DE L'OPERATEUR DE COUPURE CUT. NOUS MONTRONS QUE CET OPERATEUR CUT PEUT ETRE ELIMINE DANS LES PROGRAMMES EN CLAUSES DE HORN AU PROFIT D'UN NOUVEL OPERATEUR COND ANALOGUE A L'ALTERNATIVE SI ALORS SINON DES LANGAGES CLASSIQUES. CETTE FORMALISATION NOUS PERMET EGALEMENT D'ETABLIR UNE SEMANTIQUE DU TYPE POINT FIXE POUR PROLOG ; ET D'INDIQUER UN ENSEMBLE DE REGLES DE TRANSFORMATIONS DE PROGRAMMES. ENFIN NOUS UTILISONS CE MODELE ABSTRAIT COMME REFERENCE POUR L'ETUDE TOP-DOWN D'UN COMPILATEUR PROLOG
  • Éditeur: S.l. : s.n.
  • Date de publication: 1985
  • Format: Non paginé ; 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é