Définitionsdéréférencement

déréférencement

nom masculin
/de.ʁe.fe.ʁɑ̃s.mɑ̃/
  1. Suppression d’un objet sur une liste de références.Ce déréférencement vient compléter le blocage des sites terroristes et pédopornographiques, également voté en novembre et mis en œuvre depuis le début du mois de février.
  2. ProgrammationAccès à la valeur référencée par un pointeur, synonyme d'indirection.En C/C++, l'opérateur de déréférencement, ou d'indirection, est l'astérisque (*).

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.