Semantica del programma
| Approfondimenti | Info |
|---|---|
Quest'argomento non è collegato ad altri approfondimenti correlati. Si consiglia, in ogni caso, di controllare sempre [ l'Indice ] degli Approfondimenti | Questa pagina è solo improntata in attesa di completamento da parte dei Collaboratori. Se sei interessato a collaborare attivamente con Extrapedia, leggi come fare [ Collabora ] |
La Semantica è il campo interessato dal rigoroso studio matematico del significato dei Linguaggi di programmazione. Lo fa valutando il significato di stringhe sintatticamente valide definite da un linguaggio di programmazione specifico, mostrando il calcolo coinvolto. In tal caso la valutazione sarebbe di stringhe sintatticamente non valide, il risultato sarebbe un non-calcolo. La Semantica descrive i processi seguiti da un computer quando si esegue un programma in quel linguaggio specifico. Questo può essere mostrato descrivendo la relazione tra l'input e l'output di un programma, o una spiegazione di come il programma sarà eseguito su una determinata piattaforma, creando quindi un modello di calcolo.
“Qualora alcuni link non funzionassero, si prega di comunicarlo allo Staff - staff@extrapedia.org”
Strumenti Pagina
