Conferenza internazionale sui linguaggi di programmazione, Madrid, Spagna
20 Gennaio 2010 - 20 Gennaio 2010
Spagna
Dal 20 al 22 gennaio 2010 si terrà a Madrid (Spagna) il simposio annuale POPL 2010 (Symposium on Principles of Programming Languages).
I linguaggi di programmazione sono strumenti usati per creare programmi software capaci di elaborare informazioni e controllare il comportamento fisico e logico delle macchine. I linguaggi di programmazione sono alla base di innumerevoli processi quotidiani, non soltanto nei computer, ma anche nei telefoni cellulari, apparecchiature domestiche, automobili ecc. Il simposio fornirà un forum di discussione per tutti gli aspetti dei linguaggi e dei sistemi di programmazione, prestando particolare attenzione a come i princìpi sostengono la pratica.
In concomitanza con la conferenza si svolgeranno una serie di eventi correlati. I temi riguarderanno tra l'altro:
- aspetti pratici dei linguaggi dichiarativi;
- valutazione parziale e manipolazione dei programmi;
- aspetti dichiarativi della programmazione multicore;
- tipi di progettazione e implementazione dei linguaggi.
POPL 2010 è finanziato dall'ACM (Association for Computer Machinery).Per ulteriori informazioni, visitare:
http://www.cse.psu.edu/popl/10/(si apre in una nuova finestra)
I linguaggi di programmazione sono strumenti usati per creare programmi software capaci di elaborare informazioni e controllare il comportamento fisico e logico delle macchine. I linguaggi di programmazione sono alla base di innumerevoli processi quotidiani, non soltanto nei computer, ma anche nei telefoni cellulari, apparecchiature domestiche, automobili ecc. Il simposio fornirà un forum di discussione per tutti gli aspetti dei linguaggi e dei sistemi di programmazione, prestando particolare attenzione a come i princìpi sostengono la pratica.
In concomitanza con la conferenza si svolgeranno una serie di eventi correlati. I temi riguarderanno tra l'altro:
- aspetti pratici dei linguaggi dichiarativi;
- valutazione parziale e manipolazione dei programmi;
- aspetti dichiarativi della programmazione multicore;
- tipi di progettazione e implementazione dei linguaggi.
POPL 2010 è finanziato dall'ACM (Association for Computer Machinery).Per ulteriori informazioni, visitare:
http://www.cse.psu.edu/popl/10/(si apre in una nuova finestra)