Analisi statica
(a tempo di traduzione, nella fase di interpretazione)
• Localizzazione degli errori
• Controllo dei tipi
• Risoluzione dei nomi
NB: in Java controlla solo i tipi APPARENTI, i tipi EFFETTIVI sono noti solo a tempo di esecuzione; in altre parole garantisce solo che il tipo apparente sia SUPERTIPO del tipo effettivo: casting, dispatching dei metodi, ecc. sono risolti solo a run-time
[Fonte]
Post
Sandra
4 anni fa
Nessun commento:
Posta un commento