La mémoire associée à un programme en cours d'exécution est une séquence ordonnée d'emplacements. Une adresse est le numéro d'un emplacement.

Une affectation est l'action qui consiste à écrire une valeur dans un emplacement mémoire.

Pour exister, une entité a besoin de mémoire. Toute entité définie bénéficie donc d'une allocation mémoire implicite. De plus, certains objets en mémoire sont pointés par des entités et nécessitent eux aussi de la mémoire. On utilise pour cela une allocation mémoire explicite.

On dit d'une expression qu'elle applique une fonction si elle contient un appel à cette fonction.

Un argument est une valeur passée en paramètre à une fonction lors d'un appel de cette fonction.

Une variable est automatique si sa durée de vie n'excède pas le bloc dans lequel elle est définie.

Un bloc est une séquence d'instructions pouvant contenir aussi des déclarations et définitions. Aucune instruction ne peut exister en dehors d'un bloc.

Une constante est une entité associée à un identificateur qui ne peut prendre qu'une seule valeur. Une expression constante est une expression qui ne peut prendre qu'une seule valeur.

La déclaration d'une entité fournit le type de cette entité et des informations sur l'endroit où peut se trouver la définition de cette entité. Une même entité peut être déclarée à plusieurs endroits ; toutes les déclarations doivent s'accorder avec la définition de cette entité.

La définition d'une entité déclare le type de cette entité et lui réserve un espace en mémoire. Dans un programme donné, une entité n'est définie qu'en un seul endroit. Le corps d'une fonction doit être fourni lors de sa définition.