Analisi semantica (compilatori) - Semantic analysis (compilers)

L'analisi semantica o l' analisi sensibile al contesto è un processo nella costruzione del compilatore , di solito dopo l' analisi , per raccogliere le informazioni semantiche necessarie dal codice sorgente . Di solito include il controllo del tipo o si assicura che una variabile sia dichiarata prima dell'uso che è impossibile da descrivere nella forma estesa Backus–Naur e quindi non facilmente rilevabile durante l'analisi.

Guarda anche

• grammatica degli attributi
• Linguaggio sensibile al contesto
• Analisi semantica (informatica)

Riferimenti

${\displaystyle \Gamma \vdash x:{\text{Int}}}$

Questa teoria del linguaggio di programmazione o articolo relativo alla teoria dei tipi è solo un abbozzo . Puoi aiutare Wikipedia espandendola .

• v
• t
• e