Accueil
Au hasard
À proximité
Se connecter
Configuration
Faire un don
À propos de Wikipédia
Avertissements
Rechercher
Catégorie
:
Théorie de la compilation
Langue
Suivre
Modifier
Arborescence de l'informatique
↑
·
↓
Catégorie mère
Projet
Portail
Café
Arborescence de la programmation informatique
↑
·
↓
Catégorie mère
Projet
Portail
Café
Article principal :
Compilateur
.
Pages dans la catégorie « Théorie de la compilation »
Cette catégorie contient les 54 pages suivantes.
Outils :
Arborescence
Graphique
Décompte
Recherche interne
PetScan
Suivi
A
Aliasing (informatique)
Allocation de registres
Analyse Earley
Analyse LALR
Analyse lexicale
Analyse LL
Analyse sémantique
Analyse syntaxique
Analyseur LR
Analyseur SLR
Arbre de la syntaxe abstraite
Arbre de traces
Arbre syntaxique
Arité
B
Bloc de base
C
Code à trois adresses
Compilateur
Compilation à la volée
Compilation anticipée
Constant folding
Construction de Glushkov
Correction locale
D
Dangling else
Déplacement des invariants de boucle
Déroulage de boucle
E
Édition de liens
Évaluation paresseuse
Extension inline
F
Fonction intrinsèque
G
Génération de code natif
Génération de code source
Grammaire d'opérateurs
Grammaire non contextuelle déterministe
Grammaire S-attribuée
Graphe de flot de contrôle
I
Interprétation abstraite
L
Langage intermédiaire
O
Optimisation de boucle
Optimisation de code
Optimisation dirigée par les profils
P
Parallélisation de boucle
Partitionnement logiciel / matériel
Passe (technique)
Pipeline logiciel
Productions erreurs
R
Recherche de sous-expressions communes
Récupération sur erreur
Register Transfer Language
S
Sémantique des langages de programmation
Sémantique formelle (logique)
Static single assignment form
Stratégie d'évaluation (informatique)
T
Terme (logique)
Test de Banerji (informatique)