Originariamente inviato da D4rkAng3l
Potete darmi una definizione abbastanza rigorosa del concetto di sintassi, semantica, correttezza sintattica e correttezza semantica nei linguaggi di programmazione?

Vi ringrazio
Andrea
Ci provo.

La sintassi riguarda la forma, la semantica il significato.

Se tu scrivi un'istruzione che non rispetta il costrutto commetti un errore di sintassi.

Ad esempio scrivi "ifo (a==true)" al posto di "if (a==true)" ifo non esiste come istruzione di controllo e quindi commetti un errore di sintassi.

La semantica invece riguarda l'organizzazione logica dei costrutti: ad esempio effettuare un confronto fra due tipi differenti (una stringa con un intero) costituisce un errore qualora non viene eseguita (in automatico dal compilatore o manualmente dal programmatore) un'operazione di casting.