Descrizione del progetto
Somiglianze o differenze: è una questione di semantica
I linguaggi di programmazione per computer, proprio come altri linguaggi, possono essere caratterizzati sia dalla sintassi che dalla semantica. La sintassi si riferisce all’effettiva stringa di caratteri che compongono un programma, mentre la semantica fornisce un’astrazione, un significato generale del programma, ignorando i dettagli e concentrandosi normalmente sulla relazione tra input e output. I confronti tra programmi si sono generalmente basati sul confronto delle loro somiglianze o sulla valutazione circa la coincidenza dei loro significati. Il progetto DIAPASoN, finanziato dall’UE, sta studiando le differenze, piuttosto che le somiglianze, tra programmi attraverso la lente di quadri comuni utilizzati per definire la semantica degli stessi.
Campo scientifico
Programma(i)
Argomento(i)
Meccanismo di finanziamento
ERC-COG - Consolidator Grant
Istituzione ospitante
40126 Bologna
Italia
Mostra sulla mappa
Beneficiari (1)
40126 Bologna
Mostra sulla mappa