Programmation |

Programmation

VDM

En d'autres termes

Vienna Development Method

Définition

Méthode formelle de preuve de programmes, comparable à Z et reposant sur la même théorie ensembliste.

Visuellement, VDM est plus simple que Z, n'utilisant pas d'alphabet spécifique. Fonctionnellement, elle permet de traiter le cas des prédicats indéfinis, par l'utilisation d'une logique ternaire, alors que Z repose sur la logique binaire classique.

en lire plus

Classé sous :

TLS

En d'autres termes

Thread-Local Storage

Définition

En environnement Win32, espace mémoire alloué thread par thread, et malheureusement en quantité limitée, ce qui pose des problèmes à de nombreux programmes.

en lire plus

Classé sous :

Hollerith

Définition

Du nom de Herman Hollerith.

En Fortran, on nomme constante Hollerith la représentation d'une constante chaine de caractères sous la forme nHsssss, où n est le nombre de caractères de la chaîne, et sssss le texte de la chaine.

Exemple: 7HHello ! représente la chaine 'Hello !'. Cette notation peu pratique qui oblige à compter les caractères des chaines lors de leur déclaration, est obsolète dans les versions Fortran à partir de 77, bien qu'elle soit toujours supportée.

Voir Hollerith, Herman.

Epoque du terme

50s

Db

Définition

Cf D-

Epoque du terme

2000

*

Définition

En Fortran, indicateur de précision d'un type numérique: REAL*4 = nombre flottant sur 4 octets.

Epoque du terme

50s

$

Définition

En Pascal, préfixe dénotant un nombre codé en hexadécimal : $41 = 4*16 + 1 = 65.

Epoque du terme

70s

^

Définition

Notation fréquente de l'exponentiation dans la typographie informatique. A^B = A puissance B. Cette notation présente l'inconvénient d'entrer en collision avec l'usage du "^" pour désigner le XOR du langage C et de ses dérivés, et on lui préfère souvent l'utilisation de "**" lorsque la confusion est possible. Voir "C".