Programmation |

Optimisation pratiquée par les compilateurs consistant à évaluer les variables auxquelles une valeur constante a été attribuée, et à utiliser la valeur constante lors des lectures de la variable. Par exemple:

a = 5
show (a)

est utilisée dans le code compilé sous la forme

a = 5
show (5)

Cette étape, qui suit le constant folding peut mettre en évidence du code devenant inutile (le a = 5 dans cet exemple est susceptible de l'être), ce qui permettra de le supprimer lors de la phase de dead code elimination

en lire plus

Classé sous :

constant folding

Définition

Optimisation pratiquée par les compilateurs consistant à remplacer dans les sources les expressions dont les valeurs peuvent être précalculées par la valeur de leur résultat. Elle est normalement pratiquée après la propagation des constantes et avant l'élimination de code mort. Voir "dead code elimination", "constant propagation".

dead code elimination

Définition

Optimisation pratiquée par les compilateurs consistant à supprimer les portions de code ne pouvant pas être atteintes au cours de l'exécution, ou bien atteintes, mais ne produisant pas d'effet sur les résultats du programme. Elle est normalement pratiquée après la propagation de constantes, qui peut mettre en évidence du code mort après son passage, alors qu'il ne l'était pas auparavant. Voir "constant folding", "constant propagation".

DBCS

En d'autres termes

Double Byte Character Set

Définition

Cas particulier de MBCS dans lequel les caractères sont représentés sur deux octets, comme en UCS-2. Ces alphabets à 64k caractères sont notamment nécessaires pour la représentation des langues orientales.

en lire plus

Classé sous :

BLAS

En d'autres termes

Basic Linear Algebra Subroutines

Définition

API d'une bibliothèque normalisée d'algèbre linéaire. La standardisation de BLAS permet aux éditeurs de systèmes de fournir ces bibliothèques en format objet optimisé manuellement pour leurs machines, notamment pour les calculateurs à vocation scientifique et technique.

en lire plus

Classé sous :

SE

En d'autres termes

Software Engineering

Définition

Génie logiciel. Voir M3, programming in the large.

en lire plus

Classé sous :

Z

En d'autres termes

Zermelo-Fränkel

Définition

Notation formelle utilisée en modélisation et preuve de programmes. Elle repose sur la théorie ensembliste de Zermelo-Fränkeln et fut créée à l'Université d'Oxford. Le plus "important" programme créé en utilisant Z est CICS. Voir "CICS".