Download Fichier PDF

Index
AC, voir associatif-commutatif
accès, fonction d’, 94
algorithme, d’Albert Gräf, 79 ; avancé de setChoicePoint et fail, 106 ; incrémental de construction d’arbre, 67
alias, d’un opérateur, 12
Alma, 101
alphabet, 62
analyse, du déterminisme, 131 ; lexicale, syntaxique, sémantique, 29
application, d’une stratégie, 16 ; d’une substitution, 14 ; de taille réelle , 175
approche, hybride d’ELAN, 147 ; la nouveauté
de notre, 57
arbre, de filtrage, 67
architecture, du compilateur, 143
argument, @, 12
arité, #s, 62 ; d’une fonction, 13
arrêt, d’une machine de Turing, 16
artificielle, intelligence, xiii
ASF+SDF, 2 ; présentation, 35
associatif, list-matching, 45
associatif droite, assocRight, 12
associatif gauche, assocLeft, 12
associatif-commutatif, classe de motifs, 88 ; compilation du filtrage, 81 ; niveau d’un symbole, 88 ; présentation, 21 ; théorie, 82
associativité, équation d’, 82
@, argument, 12 ; opérateur d’injection, 12, 157
automate, à mémoire, 72 ; bloquage d’un, 73 ;
canonique, 65 ; d’arbre, 175 ; de filtrage, 63 ;
de filtrage avec jumpNode, 75 ; déterministe,
62 ; faiblement canonique, 71 ; faiblement
déterministe, 65 ; non déterministe, 65
avantage, d’un compilateur, 32
backtrack, 100
bande, de lecture, 65, 73
benchmark, 165
BG, voir graphe biparti
bibliothèque, d’ELAN, 27 ; taille de la, 155
bloquage, choix responsable d’un, 76 ; d’un automate, 73
bool3, programme, 170
Borovanský, P., thèse de, 29
builtin, voir élémentaire
CafeOBJ, 1 ; présentation, 35
Caml, 1, 162
canonique, automate, 65 ; automate faiblement,
71 ; construction d’un terme, 125 ; terme en
forme, 82
caractéristique, d’ELAN, 21
CBG, voir graphe biparti
Cg, 102
chaı̂ne, bien formée, 62 ; longueur d’une, 62 ;
terme vu comme une, 62
chevalier, xiii
choix, du langage d’implantation, 57 ; méta, 58 ;
point de, 99 ; responsable d’un bloquage, 76
choose/try, présentation, 20
cible, langage, 54, 143
CiME, 1
Claire, 101
classe, de motifs, 88 ; héritage des, 147
classification, du déterminisme, 132
Clean, 1
clos, terme, 13
clôture, calcul incrémental, 69 ; d’un ensemble,
65, 66 ; ∇, 67 ; réduite, 70
codomaine, d’une fonction, 13
colette, programme, 175
communication, avec le monde extérieur, 43 ;
outil de, 40
commutativité, équation d’, 82
comparaison, avec d’autres implantations, 178 ;
d’environnements, 33 ; des approches, 78
compilateur, architecture du, 143 ; avantage d’un,
32 ; d’ELAN, 32 ; définition d’un, 53 ; fonctionnement du, 150 ; objectif d’un, 32 ; or-
245