XL Simposio sobre principios de los lenguajes de programación en Roma (Italia)
Un lenguaje de programación es un idioma artificial diseñado para comunicar instrucciones a una máquina. La mayoría de los lenguajes de programación describen la computación mediante una serie de comandos, aunque algunos, como por ejemplo los que son compatibles con la programación funcional o la programación lógica, utilizan formas alternativas de descripción. La descripción de un lenguaje de programación se divide normalmente en dos componentes: sintaxis (forma) y semántica (significado).
Este evento servirá de foro para debatir todos los aspectos relacionados con los lenguajes y los sistemas de programación y hará hincapié en la manera en que los principios teóricos sustentan la práctica.Para más información, consulte: http://popl.mpi-sws.org/2013/(se abrirá en una nueva ventana)