© 2006-7 Peter Van Roy. All rights reserved.

Lexique bilingue français/anglais pour l'informatique

Ce lexique a été créé pour le cours introduction aux concepts de programmation, un cours de seconde année donné à l'UCL par Peter Van Roy. Il contient tous les termes techniques importants utilisés dans le cours. Pour certains mots, il n'y a pas de traduction généralement acceptée. Dans ces cas, nous avons fait un effort pour donner des traductions raisonnables. Par exemple, l'anglais implementation n'est pas bien traduit par implantation; nous jugeons que le néologisme implémentation est justifiable. Les définitions des termes se trouvent dans le livre Concepts, Techniques, and Models of Computer Programming et dans le livre en français disponible depuis septembre 2007 édité par Dunod.

Bilingual English/French lexicon for computer science

This lexicon was created for the course a short and intensive second-year course, taught at UCL by Peter Van Roy. It contains all the technical terms used in the course. For some of the words, there are no generally accepted translations. In those cases, we have made an effort to give reasonable translations. For example, implementation is not well translated as implantation; we consider that the neologism implémentation is justified. Definitions of the terms are given in the textbook Concepts, Techniques, and Models of Computer Programming and in the French-language textbook available in September 2007 published by Dunod.

Anglais/Français (English/French)

Abstract data type (ADT) Type abstrait (n.m.)
Abstract machine Machine abstraite (n.f.)
Accumulator Accumulateur (n.m.)
Activation condition Condition d'activation (n.f.)
Active memory block Bloc de mémoire actif (n.m.)
Active object Objet actif (n.m.)
Actual argument Argument effectif (n.m.)
Address Adresse (n.f.)
ADT (abstract data type) Type abstrait (n.m.)
Adjunction Adjonction (n.f.)
Agent Agent (n.m.)
Algorithm Algorithme (n.m.)
Allocation Allocation (n.f.)
Amortized complexity Complexité amortie (n.f.)
Anonymous function Fonction anonyme (n.f.)
Application Application (n.f.)
Application Logiciel (n.m.)
Application framework Cadre d'applications (n.m.)
Argument Argument (n.m.)
Arity Arité (n.f.)
Array Tableau (n.m.)
Assembly language Langage d'assemblage (n.m.)
Assignable variable Variable affectable (n.f.)
Assignment Affectation (n.f.)
Associative Associatif (adj.)
Atom Atome (n.m.)
Attribute Attribut (n.m.)
Availability Disponibilité (n.f.)
Average Moyenne (n.f.)
Axiomatic semantics Sémantique axiomatique (n.f.)
Balanced tree Arbre équilibré (n.m.)
Batch Lot (n.m.)
Batch processing Traitement par lots (n.m.)
Binary Binaire (adj.)
Binding Lien (n.m.)
Block Bloc (n.m.)
Blocked statement Instruction bloquée (n.f.)
Boolean Booléen (adj. et n.m.)
Border (of window) Côté (de fenêtre) (n.m.)
Bottom-up development Développement ascendant (n.m.)
Bound (n.) Borne (n.f.)
Boundary condition Condition de limite (n.f.)
Bound identifier Identificateur lié (n.m.)
Bound identifier occurrence Occurrence d'identificateur liée (n.f.)
Bound variable Variable liée (n.f.)
Buffer Mémoire tampon (n.f.)
Bug Bug (n.m.) ou bogue (n.m.)
Bundle Agrégat (n.m.)
Bundled Agrégé (adj.)
Bundling Agrégation (n.f.)
By-need synchronization Synchronisation par besoin (n.f.)
Byte Octet (n.m.)
Bytecode Bytecode (n.m.)
Cache memory Mémoire cache (n.f.)
Calculator Calculatrice (n.f.)
Call Appel (n.m.)
Call by reference Passage par référence (n.m.)
Call by value Passage par valeur (n.m.)
Call by variable Passage par variable (n.m.)
Call graph Graphe d'appels (n.m.)
Capability Capacité (n.f.)
Carriage return (character) (Caractère de) retour de chariot (n.m.)
Ceiling (function) (Fonction) plafond (n.m.)
Cell Cellule (n.f.)
(Character) string Chaîne (de caractères) (n.f.)
Class Classe (n.f.)
Class diagram Diagramme de classe (n.m.)
Class hierarchy Hiérarchie de classe (n.f.)
Clause Clause (n.f.)
Client/server Client/serveur (adj.)
Clock frequency Fréquence d'horloge (n.f.)
Closure (procedure or function value) Fermeture (valeur procédurale ou fonctionnelle) (n.f.)
Column Colonne (n.f.)
Comment Commentaire (n.m.)
Communicating vessels Vases communicants (n.m.)
Communication channel Canal de communication (n.m.)
Compaction Compactage (n.m.)
Compiler Traducteur (compilateur) (n.m.)
Compile time (adj.) À la compilation (adj.)
Complete termination Terminaison complète (n.f.)
Complexity Complexité (n.f.)
Component Composant (n.m.)
Component-based programming Programmation par composants (n.f.)
Composition Composition (n.f.)
Compound structure Structure composée (n.f.)
Computation Calcul (n.m.)
Computation model Modèle de calcul (n.m.)
Computer Ordinateur (n.m.)
Computer science Informatique (n.f.)
Concatenation Concaténation (n.f.)
Concurrency Concurrence (n.f.)
Concurrent composition Composition concurrente (n.f.)
Concurrent constraint language Langage à contraintes concurrentes (n.m.)
Concurrent declarative model Modèle déclaratif concurrent (n.m.)
Concurrent programming Programmation concurrente (n.f.)
Concurrent constraint programming Programmation par contraintes concurrentes (n.f.)
Conditional Conditionnel (n.m.)
Cons Paire (de liste) (n.f.)
Constant Constante (n.f.)
Constraint Contrainte (n.f.)
Constraint language Langage à contraintes (n.m.)
Constraint logic programming Programmation logique par contraintes (n.f.)
Constraint programming Programmation par contraintes (n.f.)
Containment principle Principe d'endiguement (n.m.)
Context-free grammar Grammaire hors-contexte (n.f.)
Context-sensitive grammar Grammaire sensible au contexte (n.f.)
Contextual environment Environnement contextuel (n.m.)
Control abstraction Abstraction de contrôle (n.f.)
Control flow Ordre des opérations (n.m.)
Correctness Exactitude (n.f.)
Cube root Racine cubique (n.f.)
Currying Curryfication (n.f.)
Dangling pointer Pointeur détaché (n.m.)
Data abstraction Abstraction de données (n.f.)
Database Base de données (n.f.)
Dataflow concurrency Concurrence dataflow (par flux de données) (n.f.)
Dataflow programming Programmation dataflow (par flux de données) (n.f.)
Data structure Structure de données (n.f.)
Data type Type de données (n.m.)
Deadlock Interblocage (n.m.)
Deallocation Désallocation (n.f.)
Debug Déboguer (v.t.)
Debugger Débuggeur (n.m.)
Declaration Déclaration (n.f.)
Declarative (dataflow) concurrency Concurrence déclarative (dataflow) (n.f.)
Declarative model Modèle déclaratif (n.m.)
Declarative object Objet déclaratif (n.m.)
Declarative programming Programmation déclarative (n.f.)
Delete (v.t.) Enlever (v.t.)
Deletion Retrait (n.m.)
Demand-driven concurrency Concurrence dirigée par la demande (n.f.)
Design by contract Conception par contrat (n.f.)
Design decision Décision de conception (n.f.)
Design pattern Motif de conception (n.m.)
Dictionary Dictionnaire (n.m.)
Directed graph Graphe orienté (n.m.)
Display Écran (n.m.)
Distributed system Système réparti (n.m.)
Divide-and-conquer Diviser-pour-régner (adj.)
Dynamic binding Lien dynamique (n.m.)
Dynamic scope Portée dynamique (n.f.)
Dynamic typing Typage dynamique (n.m.)
Eager execution Exécution immédiate (n.f.)
Early error detection Détection tôt d'erreurs (n.f.)
Edge (of graph) Arête (de graphe) (n.f.)
Encapsulation Encapsulation (n.f.)
Encode Coder (v.t.)
End user Utilisateur final (n.m.)
Environment Environnement (n.m.)
Equality Égalité (n.f.)
Error containment Endiguement d'erreurs (n.m.)
Escaped identifier Identificateur échappé (n.m.)
Event-loop programming Programmation par boucle d'événements (n.f.)
Exception Exception (n.f.)
Exception handler Gestionnaire d'exceptions (n.m.)
Execution Exécution (n.f.)
Execution state État d'exécution (n.m.)
(Execution) step Pas (d'exécution) (n.m.)
Explicit state État explicite (n.m.)
Expression Expression (n.f.)
External reference Référence externe (n.f.)
Extreme programming Programmation extrême (n.f.)
Factorial Factorielle (n.f.)
Fairness Équité (n.f.)
False Faux (adj.)
Feedback Rétroaction (n.f.)
Feedback loop Boucle de rétroaction (n.f.)
Field Champ (n.m.)
File Fichier (n.m.)
File system Système de fichiers (n.m.)
Finalization Finalisation (n.f.)
Float Flottant (n.m.)
Floating point Virgule flottante (n.f.)
Floor (function) (Fonction) plancher (n.m.)
Flow-based programming Programmation par flux (n.f.)
Flowchart Ordinogramme (n.m.)
Formal argument Argument formel (n.m.)
Formal semantics Sémantique formelle (n.f.)
Form feed Saut de page (n.m.)
Frame (of window) Cadre (de fenêtre) (n.m.)
Free identifier Identificateur libre (n.m.)
Free identifier occurrence Occurrence d'identificateur libre (n.f.)
Free memory block Bloc de mémoire libre (n.m.)
Free (unbound) variable Variable libre (non liée) (n.f.)
Fresh name Nouveau nom (n.m.)
Function Fonction (n.f.)
Functional programming Programmation fonctionnelle (n.f.)
Functional reactive programming Programmation fonctionnelle réactive (n.f.)
Functional requirement Exigence fonctionnelle (n.f.)
Function application Application de fonction (n.f.)
Function call Appel de fonction (n.m.)
Function value (function closure) Valeur fonctionnelle (fermeture fonctionnelle) (n.f.)
Functor Foncteur (n.m.)
Garbage collection Ramassage de miettes (n.m.)
Garbage collector Ramasse-miettes (n.m.)
Generating function Fonction génératrice (n.f.)
Global environment Environnement global (n.m.)
Goal-oriented programming Programmation orienté but (n.f.)
Grammar Grammaire (n.f.)
Grammar rule Règle de grammaire (n.f.)
Graph Graphe (n.m.)
Graphical user interface (GUI) Interface graphique (n.f.)
Graphics Graphisme (n.m.)
Hand calculation Calcul à la main (n.m.)
Handler Manipulateur (n.m.)
Hard real time Temps réel dur (n.m. et adj.)
Hardware Matériel (n.m.)
Hash table Table de hachage (n.f.)
Head (of list) Tête (de liste) (n.f.)
Heap Tas (n.m.)
High availability Haute disponibilité (n.f.)
Higher-order programming Programmation d'ordre supérieur (n.f.)
Identifier Identificateur (n.m.)
Imperative programming Programmation impérative (n.f.)
Implementation Implémentation (n.f.)
Implicit state État implicite (n.m.)
Inactive memory block Bloc de mémoire inactif (n.m.)
Inconsistent binding Lien incompatible (n.m.)
Index (of matrix) Indice (de matrice) (n.f.)
Informatics Informatique (n.f.)
Inheritance Héritage (n.m.)
Initial state État initial (n.m.)
Inner class Classe interne (n.f.)
Input Entrée (n.f.)
Installation Implantation (n.f.)
Instance Instance (n.f.)
Instantiate Instancier (v.t.)
Integer Entier (n.m.)
Interactive system Système interactif (n.m.)
Interface Interface (n.f.)
Interleaving execution Exécution entrelacée (n.f.)
Interleaving semantics Sémantique entrelacée (n.f.)
Interrupt Interruption (n.f.)
Interval timer Rythmeur (n.m.)
Invariant Invariant (n.m.)
Iteration Itération (n.f.)
Iterator Itérateur (n.m.)
Jump Saut (n.m.)
Kernel language Langage noyau (n.m.)
Key Clé (n.f.)
Keyboard Clavier (n.m.)
Keyword Mot clé (n.m.)
Label Étiquette (n.f.)
Laptop computer Ordinateur portable (n.m.)
Last call optimization Optimisation terminale (n.f.)
Last call recursion Récursion terminale (n.f.)
Late error detection Détection tardive d'erreurs (n.f.)
Lazy execution Exécution paresseuse (n.f.)
Leaf node (of a tree) Nœud externe (d'un arbre) (n.m.)
Length Longueur (n.f.)
Lexical scope Portée lexicale (n.f.)
Library call Appel de bibliothèque (n.f.)
Linguistic abstraction Abstraction linguistique (n.f.)
Linked list Liste enchaînée (n.f.)
Linking Installation (n.f.)
List Liste (n.f.)
Literal Littéral (n.m.)
Loading Chargement (n.m.)
Local function Fonction locale (n.f.)
Lock Verrou (n.m.)
Locus of control Lieu de contrôle (n.m.)
Logic programming Programmation logique (n.f.)
Logical semantics Sémantique logique (n.f.)
Loop Boucle (n.f.)
Lower bound Borne inférieure (n.f.)
Main component Composant principal (n.m.)
Main program Programme principal (n.m.)
Mainstream language Langage courant (n.m.)
Man-machine interface (MMI) Interface homme-machine (IHM) (n.f.)
Many-shot channel Canal à envoi multiple (n.m.)
Marker Balise (n.f.)
Mathematical induction Induction mathématique (n.f.)
Matrix Matrice (n.f.)
Memoization Mémoisation (n.f.)
Memory Mémoire (n.f.)
Memory block Bloc de mémoire (n.m.)
Memory leak Fuite de mémoire (n.f.)
Memory lifecycle Cycle de vie mémoire (n.f.)
Memory management Gestion de mémoire (n.f.)
Merge (two lists) (v.t.) Fusionner (deux listes) (v.t.)
Mergesort Tri par fusion (n.m.)
Message Message (n.m.)
Message passing Envoi de messages (n.m.)
Message-passing concurrency Concurrence par envoi de messages (n.f.)
Method Méthode (n.f.)
Method head En-tête de méthode (n.m.)
Microworld Micro-monde (n.m.)
Modularity Modularité (n.f.)
Module Module (n.m.)
Module environment Environnement de module (n.m.)
Multi-agent programming Programmation multi-agent (n.f.)
Multi-agent system Système multi-agent (n.m.)
Multiparadigm programming Programmation multi-paradigme (n.f.)
Multiple assignment Affectation multiple (n.f.)
Multiple-assignment store Mémoire à affectation multiple (n.f.)
Multiple inheritance Héritage multiple (n.m.)
Multiuser game Jeu multijoueur (n.m.)
Mutable store Mémoire affectable (n.f.)
Name Nom (n.m.)
Nested loop Boucle imbriquée (n.f.)
Nesting marker Balise d'insertion (n.f.)
Network Réseau (n.m.)
Newline Saut de ligne (n.m.)
Node (of graph) Nœud (de graphe) (n.m.)
Nondeterminism Non-déterminisme (n.m.)
Nonfunctional requirement Exigence non fonctionnelle (n.f.)
Nonleaf node (of a tree) Nœud interne (d'un arbre) (n.m.)
Nonterminal symbol Symbole non terminal (n.m.)
NP completeness NP-complétude (n.f.)
Object Objet (n.m.)
Object-based programming Programmation basée objet (n.f.)
Object capability Capacité objet (n.f.)
Object-capability programming Programmation par capacité objet (n.f.)
Object-oriented programming Programmation orientée objet (n.f.)
Object system Système à objets (n.m.)
One-shot channel Canal à envoi unique (n.m.)
Operating system Système d'exploitation (n.m.)
Operational semantics Sémantique opérationnelle (n.f.)
Output Sortie (n.f.)
Ordered Ordonné (adj.)
Overhead Surcoût (n.m.)
Overloading Surcharge (n.f.)
Overriding Redéfinition (n.f.)
Pair Paire (n.f.)
Parallelism Parallélisme (n.m.)
Parameter passing Passage de paramètres (n.m.)
Partial termination Terminaison partielle (n.f.)
Partial value Valeur partielle (n.f.)
Patch Correctif (n.m.)
Pattern Forme (n.f.)
Pattern matching Correspondance de formes (n.f.)
Personal computer Ordinateur personnel (n.m.)
(Unix) pipe Tuyau (Unix) (n.m.)
Pipeline Pipeline (n.m.)
Pointer Pointeur (n.m.)
Polymorphism Polymorphisme (n.m.)
Polynomial (n.) Polynôme (n.m.)
Polynomial (adj.) Polynomial (adj.)
Pop Dépiler (v.t.)
Port Port (n.m.)
Preprocessor Préprocesseur (n.m.)
Private attribute Attribut privé (n.m.)
Procedural abstraction Abstraction procédurale (n.f.)
Procedure Procédure (n.f.)
Procedure dispatching Envoi procédural (n.m.)
Procedure value (procedure closure) Valeur procédurale (fermeture procédurale) (n.f.)
Process Processus (n.m.)
Producer/consumer Producteur/consommateur (adj.)
Profiling Profilage (n.m.)
Program Programme (n.m.)
Program design Conception de programmes (n.f.)
Programming in the large Programmation à grande échelle (n.f.)
Programming in the small Programmation à petite échelle (n.f.)
Programming language Langage de programmation (n.m.)
Programming model Modèle de programmation (n.m.)
Programming paradigm Paradigme de programmation (n.m.)
Proxy Mandataire (adj. et n.m.)
Push Empiler (v.t.)
Queue File (n.f.)
Quicksort Tri rapide (n.m.)
Race condition Course (n.f.)
Random access memory (RAM) Mémoire vive (n.f.)
Real time Temps réel (n.m. et adj.)
Real-time processing Traitement en temps réel (n.m.)
Reasoning Raisonnement (n.m.)
Reclaim (memory) Récupérer (de la mémoire) (v.t.)
Record Enregistrement (n.m.)
Record dispatching Envoi par enregistrement (n.m.)
Recursion Récursion (n.f.)
Refactoring Refactorisation (n.f.)
Reference (v.t.) Référencer (v.t.)
Referential transparency Transparence référentielle (n.f.)
Regular expression Expression régulière (n.f.)
Reliability Fiabilité (n.f.)
Reliable system Système fiable (n.m.)
Remote (adj.) À distance (adj.)
Requirement Exigence (n.f.)
Resource Ressource (n.f.)
Resting point Point de repos (n.m.)
Restriction Restriction (n.f.)
Return (n.) Retour (n.m.)
Return (v.t.) Renvoyer (v.t.)
Root set Ensemble racine (n.m.)
Round down to nearest integer Arrondi à l'entier inférieur (n.m.)
Round-robin scheduler Ordonnanceur cyclique (n.m.)
Round up to nearest integer Arrondi à l'entier supérieur (n.m.)
Row (of a matrix) Rangée (n.f.) ou ligne (d'une matrice) (n.f.)
Run-time (adj.) À l'exécution (adj.)
Runnable (ready) thread Fil exécutable (prêt) (n.m.)
Scheduler Ordonnanceur (n.m.)
Scope Portée (n.f.)
Scroll bar Barre de défilement (n.f.)
Screenshot Capture d'écran (n.f.)
Search tree Arbre de recherche (n.m.)
Semantics Sémantique (n.f.)
Semantic stack Pile sémantique (n.f.)
Semantic statement Instruction sémantique (n.f.)
Sequential composition Composition séquentielle (n.f.)
Set Ensemble (n.m.)
Shared data Données partagées (n.f.)
Shared state État partagé (n.m.)
Shared-state concurrency Concurrence par état partagé (n.f.)
Shared variable Variable partagée (n.f.)
Short circuit Court-circuit (n.m.)
Side effect Effet de bord (n.m.)
Single assignment Affectation unique (n.f.)
Single-assignment store Mémoire à affectation unique (n.f.)
Single inheritance Héritage simple (n.m.)
Sink Récepteur (n.m.)
Small world graph Graphe de petit monde (n.m.)
Soft real time Temps réel mou (n.m. et adj.)
Software Logiciel (n.m.)
Software component Composant logiciel (n.m.)
Software development Développement de logiciel (n.m.)
Software engineering Génie logiciel (n.m.)
Software part (of a system) Composante logicielle (d'un système) (n.f.)
Software reuse Réemploi de logiciel (n.f.)
Software rot Délabrement de logiciel (n.m.)
Sort (n.) Tri (n.m.)
Source Émetteur (n.m.)
Source code Code source (n.m.)
Space complexity Complexité spatiale (n.f.)
Specification Spécification (n.f.)
Square root Racine carrée (n.f.)
Stack Pile (n.f.)
Standalone application Application autonome (n.f.)
Standard input Entrée standard (n.f.)
Standard output Sortie standard (n.f.)
State État (n.m.)
Stateful abstract data type Type abstrait avec état (n.m.)
Stateful model Modèle à état (n.m.)
Stateful programming Programmation avec état (n.f.)
Stateless server Serveur sans état (n.m.)
Statement Instruction (n.f.)
Static binding Lien statique (n.m.)
Static scope Portée statique (n.f.)
Static typing Typage statique (n.m.)
Step (of execution) Pas (d'exécution) (n.m.)
Store Mémoire (n.f.)
Stored program computer Ordinateur à programme enregistré (n.m.)
Stream Flot (n.m.)
Stream-based programming Programmation par flots (n.f.)
Stream object Objet à flots (n.m.)
(Character) string Chaîne (de caractères) (n.f.)
Strong typing Typage fort (n.m.)
Structure equality Égalité de structure (n.f.)
Subclass Sous-classe (n.f.)
Subcomponent Sous-composant (n.m.)
Substitution Substitution (n.f.)
Substitution principle Principe de substitution (n.m.)
Subtree Sous-arbre (n.m.)
Superclass Superclasse (n.f.)
Supercomputer Super-ordinateur (n.m.)
Supply-driven concurrency Concurrence dirigée par l'offre (n.f.)
Suspended thread Fil suspendu (n.m.)
Symbolic language Langage symbolique (n.m.)
Symbol table Table de symboles (n.f.)
Syntactic sugar Sucre syntaxique (n.m.)
Syntax Syntaxe (n.f.)
Table Tableau (n.m.)
Tail (of list) Queue (de liste) (n.f.)
Tail recursion Récursion terminale (n.f.)
Target language Langage cible (n.m.)
Template Gabarit (n.m.)
Terminal symbol Symbole terminal (n.m.)
Termination Terminaison (n.f.)
Ternary Ternaire (adj.)
Test-driven development Développement dirigé par les tests (n.m.)
Third-party development Développement par tiers (n.m.)
Thread (n.) Fil (n.m.)
Thread (v.t.) Enfiler (v.t.)
Time complexity Complexité temporelle (n.f.)
Timer interrupt Dispositif d'interruption (n.f.)
Time slice Tranche de temps (n.f.)
Token Jeton (n.m.)
Token equality Égalité d'identité (n.f.)
Top (of stack) Sommet (de pile) (n.m.)
Top-down development Développement descendant (n.m.)
Transducer (of a stream) Transformateur (d'un flot) (n.m.)
Transitive closure Fermeture transitive (n.f.)
Translation (compilation) Traduction (n.f.)
Tree Arbre (n.m.)
Trigger Déclencheur (n.m.)
True Vrai (adj.)
Tuple Tuple (n.m.)
Tuple space Espace de tuples (n.m.)
Two's complement Complément à deux (n.m.)
Type Type (n.m.)
Type function Fonction de type (n.f.)
Type hierarchy Hiérarchie de types (n.f.)
Type signature Signature de type (n.f.)
Type variable Variable de type (n.f.)
Typing Typage (n.m.)
Unary Unaire (adj.)
Unbound (free) variable Variable non liée (libre) (n.f.)
Uncaught exception Exception non capturée (n.f.)
Underscore (character) (Caractère de) soulignement (n.m.)
Update Mise à jour (n.f.)
Upper bound Borne supérieure (n.f.)
User Utilisateur (n.m.)
Vacuum tube Tube à vide (n.m.)
Value Valeur (n.f.)
Value store or value memory Mémoire à valeurs (n.f.)
Variable Variable (n.f.)
Visibility rule Règle de visibilité (n.f.)
Weak typing Typage faible (n.m.)
White space Espace blanc (n.m.)
Widget Gadget logiciel (n.m.)
Width Largeur (n.f.)
Word Mot (n.m.)
Worst-case complexity Complexité au pire (n.f.)
Wrapper Emballage (n.m.)

Français/Anglais (French/English)

Abstraction de contrôle (n.f.) Control abstraction
Abstraction de données (n.f.) Data abstraction
Abstraction linguistique (n.f.) Linguistic abstraction
Abstraction procédurale (n.f.) Procedural abstraction
Accumulateur (n.m.) Accumulator
À distance (adj.) Remote (adj.)
Adjonction (n.f.) Adjunction
Adresse (n.f.) Address
Affectation (n.f.) Assignment
Affectation multiple (n.f.) Multiple assignment
Affectation unique (n.f.) Single assignment
Agent (n.m.) Agent
Agrégat (n.m.) Bundle
Agrégation (n.f.) Bundling
Agrégé (adj.) Bundled
À la compilation (adj.) Compile time (adj.)
À l'exécution (adj.) Run-time (adj.)
Algorithme (n.m.) Algorithm
Allocation (n.f.) Allocation
Appel (n.m.) Call
Appel de bibliothèque (n.f.) Library call
Appel de fonction (n.m.) Function call
Application (n.f.) Application
Application autonome (n.f.) Standalone application
Application de fonction (n.f.) Function application
Arbre (n.m.) Tree
Arbre de recherche (n.m.) Search tree
Arbre équilibré (n.m.) Balanced tree
Arête (de graphe) (n.f.) Edge (of graph)
Argument (n.m.) Argument
Argument formel (n.m.) Formal argument
Argument effectif (n.m.) Actual argument
Arité (n.f.) Arity
Arrondi à l'entier inférieur (n.m.) Round down to nearest integer
Arrondi à l'entier supérieur (n.m.) Round up to nearest integer
Associatif (adj.) Associative
Atome (n.m.) Atom
Attribut (n.m.) Attribute
Attribut privé (n.m.) Private attribute
Balise (n.f.) Marker
Balise d'insertion (n.f.) Nesting marker
Barre de défilement (n.f.) Scroll bar
Base de données (n.f.) Database
Binaire (adj.) Binary
Bloc (n.m.) Block
Bloc de mémoire (n.m.) Memory block
Bloc de mémoire actif (n.m.) Active memory block
Bloc de mémoire inactif (n.m.) Inactive memory block
Bloc de mémoire libre (n.m.) Free memory block
Booléen (adj. et n.m.) Boolean
Borne (n.f.) Bound (n.)
Borne inférieure (n.f.) Lower bound
Borne supérieure (n.f.) Upper bound
Boucle (n.f.) Loop
Boucle de rétroaction (n.f.) Feedback loop
Boucle imbriquée (n.f.) Nested loop
Bug (n.m.) ou bogue (n.m.) Bug
Bytecode (n.m.) Bytecode
Cadre d'applications (n.m.) Application framework
Cadre (de fenêtre) (n.m.) Frame (of window)
Calcul (n.m.) Computation
Calcul à la main (n.m.) Hand calculation
Calculatrice (n.f.) Calculator
Canal à envoi unique (n.m.) One-shot channel
Canal à envoi multiple (n.m.) Many-shot channel
Canal de communication (n.m.) Communication channel
Capacité (n.f.) Capability
Capacité objet (n.f.) Object capability
Capture d'écran (n.f.) Screenshot
Cellule (n.f.) Cell
Chaîne (de caractères) (n.f.) (Character) string
Champ (n.m.) Field
Chargement (n.m.) Loading
Classe (n.f.) Class
Classe interne (n.f.) Inner class
Clause (n.f.) Clause
Clavier (n.m.) Keyboard
Clé (n.f.) Key
Client/serveur (adj.) Client/server
Coder (v.t.) Encode
Code source (n.m.) Source code
Colonne (n.f.) Column
Commentaire (n.m.) Comment
Compactage (n.m.) Compaction
Compilateur (n.m.) Compiler
Complément à deux (n.m.) Two's complement
Complexité (n.f.) Complexity
Complexité amortie (n.f.) Amortized complexity
Complexité au pire (n.f.) Worst-case complexity
Complexité spatiale (n.f.) Space complexity
Complexité temporelle (n.f.) Time complexity
Composant (n.m.) Component
Composante logicielle (d'un système) (n.f.) Software part (of a system)
Composant logiciel (n.m.) Software component
Composant principal (n.m.) Main component
Composition (n.f.) Composition
Composition concurrente (n.f.) Concurrent composition
Composition séquentielle (n.f.) Sequential composition
Concaténation (n.f.) Concatenation
Conception de programmes (n.f.) Program design
Conception par contrat (n.f.) Design by contract
Concurrence (n.f.) Concurrency
Concurrence dataflow (par flux de données) (n.f.) Dataflow concurrency
Concurrence déclarative (dataflow) (n.f.) Declarative (dataflow) concurrency
Concurrence dirigée par la demande (n.f.) Demand-driven concurrency
Concurrence dirigée par l'offre (n.f.) Supply-driven concurrency
Concurrence par envoi de messages (n.f.) Message-passing concurrency
Concurrence par état partagé (n.f.) Shared-state concurrency
Condition d'activation (n.f.) Activation condition
Condition de limite (n.f.) Boundary condition
Conditionnel (n.m.) Conditional
Constante (n.f.) Constant
Contrainte (n.f.) Constraint
Correctif (n.m.) Patch
Correspondance de formes (n.f.) Pattern matching
Côté (de fenêtre) (n.m.) Border (of window)
Course (n.f.) Race condition
Court-circuit (n.m.) Short circuit
Curryfication (n.f.) Currying
Cycle de vie mémoire (n.f.) Memory lifecycle
Déboguer (v.t.) Debug
Débuggeur (n.m.) Debugger
Décision de conception (n.f.) Design decision
Déclaration (n.f.) Declaration
Déclencheur (n.m.) Trigger
Délabrement de logiciel (n.m.) Software rot
Dépiler (v.t.) Pop
Désallocation (n.f.) Deallocation
Détection tardive d'erreurs (n.f.) Late error detection
Détection tôt d'erreurs (n.f.) Early error detection
Développement ascendant (n.m.) Bottom-up development
Développement de logiciel (n.m.) Software development
Développement descendant (n.m.) Top-down development
Développement dirigé par les tests (n.m.) Test-driven development
Développement par tiers (n.m.) Third-party development
Diagramme de classe (n.m.) Class diagram
Dictionnaire (n.m.) Dictionary
Disponibilité (n.f.) Availability
Dispositif d'interruption (n.f.) Timer interrupt
Diviser-pour-régner (adj.) Divide-and-conquer
Données partagées (n.f.) Shared data
Écran (n.m.) Display
Effet de bord (n.m.) Side effect
Égalité (n.f.) Equality
Égalité d'identité (n.f.) Token equality
Égalité de structure (n.f.) Structure equality
Emballage (n.m.) Wrapper
Émetteur (n.m.) Source
Empiler (v.t.) Push
Encapsulation (n.f.) Encapsulation
Endiguement d'erreurs (n.m.) Error containment
Enfiler (v.t.) Thread (v.t.)
Enlever (v.t.) Delete (v.t.)
Enregistrement (n.m.) Record
Ensemble (n.m.) Set
Ensemble racine (n.m.) Root set
En-tête de méthode (n.m.) Method head
Entier (n.m.) Integer
Entrée (n.f.) Input
Entrée standard (n.f.) Standard input
Environnement (n.m.) Environment
Environnement contextuel (n.m.) Contextual environment
Environnement de module (n.m.) Module environment
Environnement global (n.m.) Global environment
Envoi de messages (n.m.) Message passing
Envoi par enregistrement (n.m.) Record dispatching
Envoi procédural (n.m.) Procedure dispatching
Équité (n.f.) Fairness
Espace blanc (n.m.) White space
Espace de tuples (n.m.) Tuple space
État (n.m.) State
État d'exécution (n.m.) Execution state
État explicite (n.m.) Explicit state
État implicite (n.m.) Implicit state
État initial (n.m.) Initial state
État partagé (n.m.) Shared state
Étiquette (n.f.) Label
Exactitude (n.f.) Correctness
Exception (n.f.) Exception
Exception non capturée (n.f.) Uncaught exception
Exécution (n.f.) Execution
Exécution entrelacée (n.f.) Interleaving execution
Exécution immédiate (n.f.) Eager execution
Exécution paresseuse (n.f.) Lazy execution
Exigence (n.f.) Requirement
Exigence fonctionnelle (n.f.) Functional requirement
Exigence non fonctionnelle (n.f.) Nonfunctional requirement
Expression (n.f.) Expression
Expression régulière (n.f.) Regular expression
Factorielle (n.f.) Factorial
Faux (adj.) False
Fermeture (valeur procédurale ou fonctionnelle) (n.f.) Closure (procedure or function value)
Fermeture transitive (n.f.) Transitive closure
Fiabilité (n.f.) Reliability
Fichier (n.m.) File
Fil (n.m.) Thread (n.)
Fil exécutable (prêt) (n.m.) Runnable (ready) thread
Fil suspendu (n.m.) Suspended thread
File (n.f.) Queue
Finalisation (n.f.) Finalization
Flot (n.m.) Stream
Flottant (n.m.) Float
Foncteur (n.m.) Functor
Fonction (n.f.) Function
Fonction anonyme (n.f.) Anonymous function
Fonction de type (n.f.) Type function
Fonction génératrice (n.f.) Generating function
Fonction locale (n.f.) Local function
Forme (n.f.) Pattern
Fréquence d'horloge (n.f.) Clock frequency
Fuite de mémoire (n.f.) Memory leak
Fusionner (deux listes) (v.t.) Merge (two lists) (v.t.)
Gabarit (n.m.) Template
Gadget logiciel (n.m.) Widget
Génie logiciel (n.m.) Software engineering
Gestion de mémoire (n.f.) Memory management
Gestionnaire d'exceptions (n.m.) Exception handler
Grammaire (n.f.) Grammar
Grammaire hors-contexte (n.f.) Context-free grammar
Grammaire sensible au contexte (n.f.) Context-sensitive grammar
Graphe (n.m.) Graph
Graphe d'appels (n.m.) Call graph
Graphe de petit monde (n.m.) Small world graph
Graphe orienté (n.m.) Directed graph
Graphisme (n.m.) Graphics
Haute disponibilité (n.f.) High availability
Héritage (n.m.) Inheritance
Héritage multiple (n.m.) Multiple inheritance
Héritage simple (n.m.) Single inheritance
Hiérarchie de classe (n.f.) Class hierarchy
Hiérarchie de types (n.f.) Type hierarchy
Identificateur (n.m.) Identifier
Identificateur échappé (n.m.) Escaped identifier
Identificateur libre (n.m.) Free identifier
Identificateur lié (n.m.) Bound identifier
Implantation (n.f.) Installation
Implémentation (n.f.) Implementation
Indice (de matrice) (n.f.) Index (of matrix)
Induction mathématique (n.f.) Mathematical induction
Informatique (n.f.) Informatics (computer science)
Installation (n.f.) Linking
Instance (n.f.) Instance
Instancier (v.t.) Instantiate
Instruction (n.f.) Statement
Instruction bloquée (n.f.) Blocked statement
Instruction sémantique (n.f.) Semantic statement
Interblocage (n.m.) Deadlock
Interface (n.f.) Interface
Interface graphique (n.f.) Graphical user interface (GUI)
Interface homme-machine (IHM) (n.f.) Man-machine interface (MMI)
Interruption (n.f.) Interrupt
Invariant (n.m.) Invariant
Itérateur (n.m.) Iterator
Itération (n.f.) Iteration
Jeton (n.m.) Token
Jeu multijoueur (n.m.) Multiuser game
Langage à contraintes (n.m.) Constraint language
Langage à contraintes concurrentes (n.m.) Concurrent constraint language
Langage d'assemblage (n.m.) Assembly language
Langage cible (n.m.) Target language
Langage courant (n.m.) Mainstream language
Langage de programmation (n.m.) Programming language
Langage noyau (n.m.) Kernel language
Langage symbolique (n.m.) Symbolic language
Largeur (n.f.) Width
Lien (n.m.) Binding
Lien dynamique (n.m.) Dynamic binding
Lien incompatible (n.m.) Inconsistent binding
Lien statique (n.m.) Static binding
Lieu de contrôle (n.m.) Locus of control
Ligne (d'une matrice) (n.f.) Row (of a matrix)
Liste (n.f.) List
Liste enchaînée (n.f.) Linked list
Littéral (n.m.) Literal
Logiciel (n.m.) Application
Logiciel (n.m.) Software
Longueur (n.f.) Length
Lot (n.m.) Batch
Machine abstraite (n.f.) Abstract machine
Mandataire (adj. et n.m.) Proxy
Manipulateur (n.m.) Handler
Matériel (n.m.) Hardware
Matrice (n.f.) Matrix
Mémoisation (n.f.) Memoization
Mémoire (n.f.) Store (memory)
Mémoire à affectation multiple (n.f.) Multiple-assignment store
Mémoire à affectation unique (n.f.) Single-assignment store
Mémoire affectable (n.f.) Mutable store
Mémoire à valeurs (n.f.) Value store or value memory
Mémoire cache (n.f.) Cache memory
Mémoire tampon (n.f.) Buffer
Mémoire vive (n.f.) Random access memory (RAM)
Message (n.m.) Message
Méthode (n.f.) Method
Micro-monde (n.m.) Microworld
Mise à jour (n.f.) Update
Modèle à état (n.m.) Stateful model
Modèle de calcul (n.m.) Computation model
Modèle déclaratif (n.m.) Declarative model
Modèle déclaratif concurrent (n.m.) Concurrent declarative model
Modèle de programmation (n.m.) Programming model
Modularité (n.f.) Modularity
Module (n.m.) Module
Mot (n.m.) Word
Mot clé (n.m.) Keyword
Motif de conception (n.m.) Design pattern
Moyenne (n.f.) Average
Nœud (de graphe) (n.m.) Node (of graph)
Nœud externe (d'un arbre) (n.m.) Leaf node (of a tree)
Nœud interne (d'un arbre) (n.m.) Nonleaf node (of a tree)
Nom (n.m.) Name
Non-déterminisme (n.m.) Nondeterminism
Nouveau nom (n.m.) Fresh name
NP-complétude (n.f.) NP completeness
Objet (n.m.) Object
Objet actif (n.m.) Active object
Objet à flots (n.m.) Stream object
Objet déclaratif (n.m.) Declarative object
Occurrence d'identificateur libre (n.f.) Free identifier occurrence
Occurrence d'identificateur liée (n.f.) Bound identifier occurrence
Octet (n.m.) Byte
Optimisation terminale (n.f.) Last call optimization
Ordinateur (n.m.) Computer
Ordinateur à programme enregistré (n.m.) Stored program computer
Ordinateur personnel (n.m.) Personal computer
Ordinateur portable (n.m.) Laptop computer
Ordinogramme (n.m.) Flowchart
Ordonnanceur (n.m.) Scheduler
Ordonnanceur cyclique (n.m.) Round-robin scheduler
Ordonné (adj.) Ordered
Ordre des opérations (n.m.) Control flow
Paire (n.f.) Pair
Paire (de liste) (n.f.) Cons
Paradigme de programmation (n.m.) Programming paradigm
Parallélisme (n.m.) Parallelism
Pas (d'exécution) (n.m.) (Execution) step
Passage de paramètres (n.m.) Parameter passing
Passage par référence (n.m.) Call by reference
Passage par valeur (n.m.) Call by value
Passage par variable (n.m.) Call by variable
Pile (n.f.) Stack
Pile sémantique (n.f.) Semantic stack
Pipeline (n.m.) Pipeline
(Fonction) plancher (n.m.) Floor (function)
(Fonction) plafond (n.m.) Ceiling (function)
Point de repos (n.m.) Resting point
Pointeur (n.m.) Pointer
Pointeur détaché (n.m.) Dangling pointer
Polymorphisme (n.m.) Polymorphism
Polynôme (n.m.) Polynomial (n.)
Polynomial (adj.) Polynomial (adj.)
Port (n.m.) Port
Portée (n.f.) Scope
Portée dynamique (n.f.) Dynamic scope
Portée lexicale (n.f.) Lexical scope
Portée statique (n.f.) Static scope
Préprocesseur (n.m.) Preprocessor
Principe d'endiguement (n.m.) Containment principle
Principe de substitution (n.m.) Substitution principle
Procédure (n.f.) Procedure
Processus (n.m.) Process
Producteur/consommateur (adj.) Producer/consumer
Profilage (n.m.) Profiling
Programmation à grande échelle (n.f.) Programming in the large
Programmation à petite échelle (n.f.) Programming in the small
Programmation avec état (n.f.) Stateful programming
Programmation basée objet (n.f.) Object-based programming
Programmation concurrente (n.f.) Concurrent programming
Programmation dataflow (par flux de données) (n.f.) Dataflow programming
Programmation déclarative (n.f.) Declarative programming
Programmation d'ordre supérieur (n.f.) Higher-order programming
Programmation extrême (n.f.) Extreme programming
Programmation fonctionnelle (n.f.) Functional programming
Programmation fonctionnelle réactive (n.f.) Functional reactive programming
Programmation impérative (n.f.) Imperative programming
Programmation logique (n.f.) Logic programming
Programmation logique par contraintes (n.f.) Constraint logic programming
Programmation multi-agent (n.f.) Multi-agent programming
Programmation multi-paradigme (n.f.) Multiparadigm programming
Programmation orienté but (n.f.) Goal-oriented programming
Programmation orientée objet (n.f.) Object-oriented programming
Programmation par boucle d'événements (n.f.) Event-loop programming
Programmation par capacité objet (n.f.) Object-capability programming
Programmation par composants (n.f.) Component-based programming
Programmation par contraintes (n.f.) Constraint programming
Programmation par contraintes concurrentes (n.f.) Concurrent constraint programming
Programmation par flots (n.f.) Stream-based programming
Programme (n.m.) Program
Programme principal (n.m.) Main program
Queue (de liste) (n.f.) Tail (of list)
Racine carrée (n.f.) Square root
Racine cubique (n.f.) Cube root
Raisonnement (n.m.) Reasoning
Ramassage de miettes (n.m.) Garbage collection
Ramasse-miettes (n.m.) Garbage collector
Rangée (d'une matrice) (n.f.) Row (of a matrix)
Récepteur (n.m.) Sink
Récupérer (de la mémoire) (v.t.) Reclaim (memory)
Récursion (n.f.) Recursion
Récursion terminale (n.f.) Last call recursion (tail recursion)
Redéfinition (n.f.) Overriding
Réemploi de logiciel (n.f.) Software reuse
Refactorisation (n.f.) Refactoring
Référence externe (n.f.) External reference
Référencer (v.t.) Reference (v.t.)
Règle de grammaire (n.f.) Grammar rule
Règle de visibilité (n.f.) Visibility rule
Renvoyer (v.t.) Return (v.t.)
Réseau (n.m.) Network
Ressource (n.f.) Resource
Restriction (n.f.) Restriction
Retour (n.m.) Return (n.)
(caractère de) Retour de chariot (n.m.) Carriage return (character)
Retrait (n.m.) Deletion
Rétroaction (n.f.) Feedback
Rythmeur (n.m.) Interval timer
Saut (n.m.) Jump
Saut de ligne (n.m.) Newline
Saut de page (n.m.) Form feed
Sémantique (n.f.) Semantics
Sémantique axiomatique (n.f.) Axiomatic semantics
Sémantique entrelacée (n.f.) Interleaving semantics
Sémantique formelle (n.f.) Formal semantics
Sémantique logique (n.f.) Logical semantics
Sémantique opérationnelle (n.f.) Operational semantics
Serveur sans état (n.m.) Stateless server
Signature de type (n.f.) Type signature
Sommet (de pile) (n.m.) Top (of stack)
Sortie (n.f.) Output
Sortie standard (n.f.) Standard output
(caractère de) Soulignement (n.m.) Underscore (character)
Sous-arbre (n.m.) Subtree
Sous-classe (n.f.) Subclass
Sous-composant (n.m.) Subcomponent
Spécification (n.f.) Specification
Structure composée (n.f.) Compound structure
Structure de données (n.f.) Data structure
Substitution (n.f.) Substitution
Sucre syntaxique (n.m.) Syntactic sugar
Superclasse (n.f.) Superclass
Super-ordinateur (n.m.) Supercomputer
Surcharge (n.f.) Overloading
Surcoût (n.m.) Overhead
Synchronisation par besoin (n.f.) By-need synchronization
Symbole non terminal (n.m.) Nonterminal symbol
Symbole terminal (n.m.) Terminal symbol
Syntaxe (n.f.) Syntax
Système à objets (n.m.) Object system
Système de fichiers (n.m.) File system
Système d'exploitation (n.m.) Operating system
Système fiable (n.m.) Reliable system
Système interactif (n.m.) Interactive system
Système multi-agent (n.m.) Multi-agent system
Système réparti (n.m.) Distributed system
Tableau (n.m.) Array
Table de hachage (n.f.) Hash table
Table de symboles (n.f.) Symbol table
Tableau (n.m.) Table
Tas (n.m.) Heap
Temps réel (n.m. et adj.) Real time
Temps réel dur (n.m. et adj.) Hard real time
Temps réel mou (n.m. et adj.) Soft real time
Terminaison (n.f.) Termination
Terminaison complète (n.f.) Complete termination
Terminaison partielle (n.f.) Partial termination
Ternaire (adj.) Ternary
Tête (de liste) (n.f.) Head (of list)
Traducteur (n.m.) Compiler
Traduction (n.f.) Translation (compilation)
Traitement en temps réel (n.m.) Real-time processing
Traitement par lots (n.m.) Batch processing
Tranche de temps (n.f.) Time slice
Transformateur (d'un flot) (n.m.) Transducer (of a stream)
Transparence référentielle (n.f.) Referential transparency
Tri (n.m.) Sort (n.)
Tri par fusion (n.m.) Mergesort
Tri rapide (n.m.) Quicksort
Tube à vide (n.m.) Vacuum tube
Tuple (n.m.) Tuple
Tuyau (Unix) (n.m.) (Unix) pipe
Typage (n.m.) Typing
Typage dynamique (n.m.) Dynamic typing
Typage faible (n.m.) Weak typing
Typage fort (n.m.) Strong typing
Typage statique (n.m.) Static typing
Type (n.m.) Type
Type abstrait (n.m.) Abstract data type (ADT)
Type abstrait avec état (n.m.) Stateful abstract data type
Type de données (n.m.) Data type
Unaire (adj.) Unary
Utilisateur (n.m.) User
Utilisateur final (n.m.) End user
Valeur (n.f.) Value
Valeur fonctionnelle (fermeture fonctionnelle) (n.f.) Function value (function closure)
Valeur partielle (n.f.) Partial value
Valeur procédurale (fermeture procédurale) (n.f.) Procedure value (procedure closure)
Variable (n.f.) Variable
Variable affectable (n.f.) Assignable variable
Variable de type (n.f.) Type variable
Variable libre (non liée) (n.f.) Free (unbound) variable
Variable liée (n.f.) Bound variable
Variable partagée (n.f.) Shared variable
Vases communicants (n.m.) Communicating vessels
Verrou (n.m.) Lock
Virgule flottante (n.f.) Floating point
Vrai (adj.) True