Le langage Pascal est typé de façon monomorphe. C'est-à-dire deux valeurs de type différents sont forcément à des emplacements-mémoire différents. D'autre part, deux indices différents d'un tableau désignent toujours des emplacements-mémoire différents, même si les tableaux sont du même type voire identiques.

Ces informations (de types et d'indice) peuvent être transmises au code intermédiaire: deux opérations en mémoire à des emplacements-mémoire disjoints ne peuvent pas interférer.