40º Simposio sui principi dei linguaggi di programmazione, Roma, Italia
Un linguaggio di programmazione è una lingua artificiale progettata per comunicare istruzioni a una macchina. Molti linguaggi di programmazione descrivono il calcolo in una serie di comandi, anche se alcuni, come quelli che supportano la programmazione funzionale e la programmazione logica, utilizzano forme di descrizione alternative. La descrizione di un linguaggio di programmazione è generalmente divisa in due componenti: la sintassi (forma) e la semantica (significato).
L'evento sarà un forum per discutere su tutti gli aspetti dei linguaggi e dei sistemi di programmazione, con particolare attenzione a come i princìpi sostengono la pratica.Per ulteriori informazioni, visitare: http://popl.mpi-sws.org/2013/(si apre in una nuova finestra)