| 
abstraction, 2
affectation, 3
agrégation, 15
allocation
analyse lexicale, 11
analyse syntaxique, 11
ascendante, 11
conflit, 11, 11
descendante, 11
flot, 11, 11
ocamlyacc, 11
appel de fonction, voir application
application, 2
d'une fonction, 2
partielle, 2
arbre, 2
arité, 2
 
BNF, voir grammaire
bibliothèque
bibliothèque, 8
bit d'étiquette, 9
booléen, 2
boucle d'interaction, 7
construction, 7
directives, 7
options, 7
byte-code, voir code-octet
 
C (le langage), 12
callback, 12
canal de communication, 3, 18
caractère, 2
chaîne de caractères, 2, 3
chargement dynamique, 8
classe, 15
abstraite, 15
déclaration locale, 15
héritage, 15
héritage multiple, 15
instance, 15, 15
interface, 15
paramétrée, 15
type, 15
type ouvert, 15
variable de, 15
virtuelle, 15
classique (mode), B
client-serveur, 20
code-octet, 7
chargement dynamique, 8
compilateur de, voir compilateur
compilateur, 7
debug, 10
code-octet, 7, 7
commande, 7
édition de liens, 7
natif, 7
profiling, 10
compilation, 7
concurrence, 19, 19
conditionnelle, 2
conflit, voir analyse syntaxique
constructeur, 2, 2
constant, 2
fonctionnel, 2
polymorphe, B
contrainte, 14
couple, 2
 
déclaration
d'une exception, 2
externe, 12
par filtrage, 2
de fonction, 2
globale, 2
globale simultanée, 2
locale, 2
locale simultanée, 2
d'un opérateur, 2
récursive, 2
de type, 2
de valeur, 2
debug, voir mise au point
destructeur, 9
digest, voir empreinte
 
édition de liens, 7
empreinte, 8
enregistrement, 2
entier, 2
entrées-sorties, 8, 8
entrées-sorties
environnement, 2, 12
envoi de message, 15
évaluation
ordre d'évaluation, 3
retardée, 4
événement, 5
exécutable autonome, 7
exception, 2
affichage, 8
avec C, 12
déclaration, 2
déclenchement, 2
récupération, 2
exclusion mutuelle, 19
expression
fonctionnelle, 2
régulières, 11
rationnelles, 11
 
 
famine, 19
fermeture, 2, 2
avec C, 12
représentation, 12
fichier
extension
.ml, 7
.mli, 7
.mll, 11
.mly, 11
interface, 7
filtrage, 2
exhaustif, 2
destructif, 4
finalisation, 12
flot, 4
analyse lexicale, 11
analyse syntaxique, 11, 11
flottant, 2
représentation, 12
tableau de, 12
foncteur, 14
fonction, 2
d'ordre supérieur, 2
déclaration avec C, 12
de finalisation, 12
mutuellement récursives, 2
partielle, 2
polymorphe, 2
récursive, 2
récursive terminale, 4
fonctionnelle, 2
 
GC, 9, 9, Mark& Sweep9
à génération, 9
à racines ambiguës, 9
avec C, 12
incrémentiel, 9
majeur, 9
mineur, 9
Stop&Copy, 9
garbage collector, voir GC
glaneur de cellules, voir GC
grammaire, 11
contextuelle, 11
définition, 11
règle de, 11
grands nombres, 8
 
Has-a, 15
hachage, 8
heap, 9
héritage, 15
 
 | 
Is-a, 15
identificateur, 11
inlining, 7
installation d'Objective CAML, 1
MacOS, 1
aide en ligne HTML, 1
Linux, 1
Unix, 1
Windows, 1
instance (de classe), 15
interface, 14, 15
avec C, 12, 12
avec le système, 8
graphique, 13
interopérabilité, 12
 
label, B
lecteur-écrivain, 19
liaison
ligne de commande, 8
linéarisation, 8
liste, 2
d'association, 8
filtrage, 2
 
 
Mark&Sweep, 9
mémoire
allocation, 9
cache, 9
dynamique, 9
récupération, 9, 9
récupération explicite de, 9
récupération
explicite, 9
implicite, 9
statique, 9
mémoire
gestion, 9, 9
récupération, 9
méthode, 15
abstraite, 15
virtuelle, 15
machine abstraite, 7
mise au point, 10, 10
moderne (mode), B, B
modifiable, 3
module, 14
contrainte, 14
déclaration locale, 14
dépendance, 10
ouverture, 8
paramétré, 14
sous-module, 14
motif
combinaison, 2
filtrage, 2
garde, 2
intervalle de caractères, 2
nommage, 2
universel, 2, 2
 
 
n-uplet, 2
notation pointée, 8
 
OCamlBrowser, B
objet, 15
opérateur
associativité, 11
déclaration, 2
priorité, 11
optionnel (argument), B
 
paresseuses (données), 4
partage, 8
pattern matching, voir filtrage
persistance, 8
pile d'exécution, 9
pile d'exécution, 10
pipe, voir tube de communication
pointeur, 3
polymorphisme, 2
portée d'une variable, 2
portabilité, 7
prise de communication, 20
processus, 18
producteur-consommateur, 19
produit cartésien, 2
profiling, 10
protocole, 20
 
racine, 9
référence, 3
règle de production, voir grammaire
 
Stop&Copy, 9
sémaphore, 19
séquence, 3
section critique, 19
self, 15
session, 7
signal, 18
signature, 14
socket, voir prise de communication
sous-typage, 15
stream, voir flot
strict (langage), 4
string, voir chaîne de caractères
structure, 14
super, 15
synchronisation, 19
 
tableau, 3
tas, 9
this, 15
thread, voir processus léger
toplevel, voir boucle d'interaction
trace, 10
tube de communication, 18
type
abstrait, 14
constructeur, 2
contrainte, 2, 14, 15, 15
cyclique, A
déclaration, 2
enregistrement, 2
énuméré, 2
fonctionnel, 2, 2
mutuellement récursif, 2
objet, 15
ouvert, 15, 15
paramétré, 2, 2, 2
produit, 2
récursif, 2
somme, 2, 2
union, 2
 
 
UML, 15
unité de compilation, 7
unité lexicale, 11
 
valeur
construction de, 9
déclaration, 2
déclaration globale, 2
déclaration locale, 2
exploration, 10, 12
fonctionnelle, 12
immédiate, 3, 12
partage, 3
persistante, 8
représentation, 12
structurée, 3, 12
variable
d'instance, 15
de type, 2
liée, 2
libre, 2, 2
de type faible, 3
vecteur, voir tableau
 
Zinc, 7
zombie, 18
 |