skip to main content

Évaluation paresseuse des filtrages avec priorité, application au langage ML...

Laville, Alain (1948-....) ; HUET, GERARD

Le Chesnay : Institut national de recherche en informatique et en automatique, 1988

Voir les exemplaires

  • Titre:
    Évaluation paresseuse des filtrages avec priorité, application au langage ML...
  • Auteur: Laville, Alain (1948-....)
  • Autre(s) auteur(s): HUET, GERARD
  • Sujets: Langages de programmation fonctionnelle ;
    LANGAGE FONCTIONNEL ;
    INTERPRETATION ;
    LANGAGE ML ;
    H-INF.TH. ;
    H-LOGICIEL
  • Description: Thèse
    L'EVALUATION PARESSEUSE EST UN MECANISME DE PLUS EN PLUS UTILISE PAR LES LANGAGES DE PROGRAMMATION FONCTIONNELS. ON UTILISE UNE METHODE AUTORISANT LES DIVERS CAS D'UNE MEME DEFINITION A ETRE AMBIGUS ET QUE L'ON AJOUTE UNE REGLE DE PRIORITE ENTRE MOTIFS AMBIGUS POUR ASSURER LE DETERMINISME DES CALCULS
  • Éditeur: Le Chesnay : Institut national de recherche en informatique et en automatique
  • Date de publication: 1988
  • Format: 129 p : ill. ; 30 cm
  • Langue: Français
  • Identifiant: ISBN 2-7261-0534-3
  • 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é