-
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
|
