Simposio sobre los principios de los lenguajes de programación

El Simposio anual ACM SIGPLAN - SIGACT sobre Principios de Lenguajes de Programación ( POPL ) es una conferencia académica en el campo de la informática , centrada en los principios fundamentales del diseño, la definición, el análisis y la implementación de lenguajes de programación, sistemas de programación e interfaces de programación. El evento está patrocinado conjuntamente por dos Grupos de Interés Especial de la Association for Computing Machinery : SIGPLAN y SIGACT .

POPL ocupa el puesto A* (4% superior) en la clasificación de conferencias CORE. ^{[ 1 ]}

Las actas de la conferencia están alojadas en la Biblioteca Digital de la ACM . Inicialmente eran de pago , pero desde 2017 se publican en acceso abierto como parte de la revista Proceedings of the ACM on Programming Languages ​​(PACMPL).

• Aspectos declarativos de la programación multinúcleo (DAMP)
• Fundamentos y desarrollo de los lenguajes orientados a objetos (FOOL/WOOD)
• Evaluación parcial y manipulación de programas basada en la semántica (PEPM)
• Aplicaciones prácticas de los lenguajes declarativos (PADL)
• Tecnologías de lenguajes de programación para XML (PLAN-X)
• Tipos en el diseño e implementación de lenguajes (TLDI)
• Verificación, comprobación de modelos e interpretación abstracta (VMCAI)
• Lenguajes para la inferencia (LAFI)

• Conferencia Internacional sobre Programación Funcional (ICFP)
• Diseño e Implementación de Lenguajes de Programación (PLDI)
• desafío POPLmark

• Sitio web oficial
• Tasas de aceptación de las conferencias sobre compiladores