Un processo in cui il compilatore determina il tipo di dati di una variabile locale dichiarata senza una dichiarazione di tipo di dati esplicita. Il tipo viene dedotto dal valore iniziale fornito per la variabile.