Author: Christian.Queinnec@lip6.fr

# Index des concepts

abstraction, 2 affectation, 3 agrégation, 15 allocation dynamique, 9 statique, 9 analyse lexicale, 11 flot, 11 `ocamllex`, 11 analyse syntaxique, 11 ascendante, 11 conflit, 11, 11 shift-reduce, 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 standard, 8 bibliothèque, 8 préchargée, 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 représentation, 12 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 portabilité, 7 unité, 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 portée, 2 de valeur, 2 debug, voir mise au point destructeur, 9 digest, voir empreinte édition de liens, 7 avec C, 12 empreinte, 8 enregistrement, 2 champ modifiable, 3 entier, 2 entrées-sorties, 8, 8 entrées-sorties avec C, 12 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 trace, 10 récursive, 2 trace, 10 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 retardée, 15 statique, 2 ligne de commande, 8 analyse de, 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 automatique, 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 copie, 15 création, 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 faible, 9 polymorphisme, 2 d'inclusion, 15 portée d'une variable, 2 portabilité, 7 prise de communication, 20 processus, 18 création, 18, 19 léger, 19 producteur-consommateur, 19 produit cartésien, 2 profiling, 10 code-octet, 10, 10 natif, 10, 10 protocole, 20 http, 20 racine, 9 ambiguë, 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 nommé, 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 représentation, 12 union, 2 UML, 15 unité de compilation, 7 unité lexicale, 11 `ocamlyacc`, 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 type, 8 représentation, 12 en C, 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 interprète, 7 zombie, 18