Résultats de la recherche

...''''allocation de registres''' est une étape importante de la [[génération de code]]. Elle vise à choisir judicieusement dans quel [[Registre (informatiq ...lation, on commence par faire comme si l'on disposait d'un nombre illimité de registres, puis l'on attribue à ces registres virtuels des registres réels ...

{{homonyme|Test de Banerji}} ...ateur|compilation]]. Il permet de déterminer si, au sein d'une [[Structure de contrôle#Boucles|boucle]], deux jeux d'instructions peuvent être exécutés e ...

...à n'être affectée qu'une et une seule fois. Les variables existantes dans la première représentation sont divisées en « versions », les nouvelles variab La représentation SSA a été développée par [[Ron Cytron]], [[Jeanne Ferrante]] ...

...est possible de décrire des expressions mathématiques simples à l'aide de la syntaxe suivante : ...ette façon de décrire ces expressions ne tient pas compte de la différence de priorité entre un <code>+</code> et un <code>*</code>. Par exemple ...

...iels qui effectuent [[Valeur par défaut|par défaut]] une seule opération à la fois sur un seul [[Thread (informatique)|thread]] sont modifiés pour effect ...ur plusieurs paires d'opérandes à la fois. Le terme vient de la convention de mettre les opérandes dans des [[vecteur]]s ou des [[Matrice (mathématiques) ...

...m}}</ref> (1882) et [[Martin Knudsen]]<ref name="Knudsen">{{article|langue=de|nom=Martin Knudsen|titre=Experimentelle Bestimmung des Druckes gesättigter == Phénoménologie du changement de phase == ...

...2285707|accès url=inscription}}</ref> ('''TAC''' ou '''3AC''') est un type de [[langage intermédiaire]] utilisé par les [[compilateur]]s comme [[Clang]]/ .... Par exemple : <code>t1 := t2 + t3</code>. Le nom dérive de l'utilisation de trois opérandes dans ces instructions même si des instructions avec moins d ...

...de [[grammaire formelle|grammaires formelles]] qui décrit un certain type de réapparition d'une variable dans une dérivation lors d'un processus d'analy ...irecte'') ou pour laquelle un mot dérivé débute par cette variable (cas de la récursivité ''indirecte''). ...

...lus vaste que celui de la [[théorie de Debye-Hückel]], mais les paramètres de ce modèle sont plus difficiles à déterminer expérimentalement. Elles sont n Le point de départ des équations de Pitzer est le [[développement du viriel]] de l'équation d'état pour un gaz : ...

...e façon [[récursivité|récursive]]. Cela permet entre autres des structures de données qui contiennent des sous‐structures du même type. Cette notion s'ap {{article détaillé|Type algébrique de données}} ...

...misations ([[Déforestation (informatique)|déforestation]], [[mémoïsation]] de valeurs, [[Parallélisme (informatique)|parallélisation]], {{Lien|langue=en| Une monade peut se voir comme la donnée d'un triplet constitué des trois éléments suivants : ...

[[Fichier:Terminal and non-terminal symbols example.png|vignette|Exemple de symboles terminaux et non terminaux.]] ...mboles terminaux et non terminaux''' les symboles utilisés dans les règles de production d'une [[grammaire formelle]]. Les '''symboles terminaux''' et le ...

[[Fichier:Hierarchie chomsky.svg|vignette|Hiérarchie de Chomsky.]] ...ns on Information Theory |numéro= 2 | pages = 113–124}}.</ref>, et décrite de façon formelle en 1959<ref>{{article|langue=en|auteur=Noam Chomsky|titre = ...

...ftmost derivation}}'' en anglais). L'arbre syntaxique est construit depuis la racine puis en descendant dans l'arbre. ...e analyse LL est appelée analyse LL(''k'') lorsqu'elle utilise une fenêtre de ''k'' lexèmes pour décider comment construire l'arbre syntaxique du mot d'e ...

...des [[Langage de programmation|langages de programmation]]) est l’étude de la signification des [[programmes informatiques]] vus en tant qu’objets [[math == Lien avec la linguistique == ...

...e Chomsky</dfn> si et seulement si toutes ses règles de production sont de la forme : ...minaux et non-terminaux|symbole terminal]], <math>S</math> est l'axiome de la grammaire, et <math>\varepsilon</math> est le mot vide. ...

...tion de ressources (par exemple les [[Fichier informatique|fichiers]]), ou de consommer moins d'[[énergie électrique]]. ...éalisées revient le plus souvent à une perte de temps et s'avère néfaste à la clarté du code et au bon fonctionnement du programme : ...

...x [[machine de Turing|machines de Turing]], et accepte donc la même classe de [[langage formel|langages]]. En cela, ce modèle diffère des [[automate à pi * <math>\,\Gamma</math> est l’''alphabet de pile'', avec <math>\,\Sigma \subseteq \Gamma</math>; l’alphabet est fini ; ...

En [[informatique théorique]], en [[linguistique]], et en particulier en [[théorie des automates]], ...sations variées telles que notamment l'[[analyse syntaxique]] des langages de programmation, et l'[[Morphologie (linguistique)|analyse morphologique]] ou ...

...es langages de programmation qui est de définir les listes par énumération de ses éléments. ...xique offre des avantages de lisibilité et de concision et se rapproche de la notation utilisée en mathématiques : ...