ACM SIGPLAN Conference on Programming Language Design and Implementation se centra en la investigación sobre lenguajes de programación y sistemas de programación y aborda su diseño, implementación, teoría, aplicaciones y rendimiento. El congreso constituye un foro científico especializado para presentar avances que permiten comprender mejor cómo se expresan los programas, cómo se implementan las abstracciones utilizadas por quienes desarrollan software y cómo esas decisiones afectan al comportamiento de los sistemas. Su convocatoria oficial recibe artículos de investigación y establece un proceso de evaluación científica orientado a contribuciones originales dentro de un campo que conecta fundamentos de programación con problemas prácticos de implementación y ejecución.
El objetivo científico de ACM SIGPLAN Conference on Programming Language Design and Implementation consiste en avanzar los principios y tecnologías que sustentan los lenguajes y sistemas de programación. La investigación puede estudiar nuevas formas de expresar computaciones, mecanismos que trasladan esas expresiones hasta sistemas ejecutables, fundamentos que permiten razonar sobre sus propiedades y procedimientos para evaluar su comportamiento. Esta combinación de diseño, implementación y teoría proporciona un marco en el que una contribución puede desarrollar una idea formal y, al mismo tiempo, analizar cómo esa idea condiciona la construcción o el rendimiento de un sistema de programación.
El diseño de lenguajes constituye una de las áreas generales verificadas en la presentación oficial del congreso. Esta línea estudia las abstracciones utilizadas para representar programas y las decisiones que determinan cómo se estructura y expresa una computación. Las contribuciones pueden investigar principios de diseño y analizar sus consecuencias sobre claridad, capacidad expresiva o interacción con otros componentes del sistema. El interés científico reside en explicar qué problema pretende resolver una nueva aproximación y qué conocimiento aporta sobre la construcción de lenguajes de programación.
La implementación representa un segundo eje explícito. Los lenguajes necesitan mecanismos capaces de transformar y ejecutar las construcciones que ofrecen a sus usuarios. La investigación puede estudiar sistemas de programación y procedimientos de implementación y evaluar cómo determinadas decisiones repercuten en el funcionamiento de los programas. Esta perspectiva permite relacionar las abstracciones visibles durante el desarrollo con las capas que finalmente realizan la computación y facilita analizar compromisos entre diferentes alternativas de implementación.
La teoría constituye otra dimensión central del ámbito oficial. Los trabajos pueden desarrollar fundamentos capaces de explicar propiedades de lenguajes y sistemas de programación mediante modelos rigurosos. Esta investigación proporciona herramientas para formular afirmaciones precisas y comprender por qué determinadas construcciones presentan ciertos comportamientos. Su relación con la implementación resulta especialmente importante porque permite conectar propiedades abstractas con mecanismos concretos y establecer una base científica para evaluar nuevas técnicas.
Las aplicaciones forman igualmente parte del alcance expresamente publicado. Una investigación puede analizar cómo las ideas desarrolladas en lenguajes y sistemas de programación permiten afrontar necesidades computacionales concretas. El valor científico de esta línea se encuentra en demostrar que una técnica proporciona una contribución específica al ámbito de la programación y no únicamente que un lenguaje puede utilizarse como herramienta dentro de otra disciplina. Las aplicaciones permiten además descubrir limitaciones que quizá no resulten visibles cuando una propuesta se estudia exclusivamente mediante ejemplos pequeños o modelos abstractos.
El rendimiento completa las grandes áreas identificadas oficialmente. Los trabajos pueden estudiar cómo las decisiones de diseño e implementación afectan al comportamiento durante la ejecución y qué procedimientos permiten evaluar esas consecuencias. El rendimiento de un sistema de programación puede depender de numerosas interacciones entre abstracciones y mecanismos internos, por lo que la investigación necesita proporcionar evidencia adecuada para sostener sus conclusiones. Esta dimensión conecta especialmente bien la teoría con la experimentación y permite comprobar si una técnica mantiene sus ventajas cuando se utiliza en condiciones representativas.
El proceso científico del congreso incorpora revisión doblemente anónima. La documentación oficial explica que este procedimiento busca permitir que los artículos se evalúen sin que la identidad de quienes los presentan condicione el análisis. También contempla material suplementario, incluido código o demostraciones, cuando resulta útil para respaldar una contribución. Estos recursos deben prepararse respetando las reglas de anonimización durante la revisión, lo que permite proporcionar evidencia adicional sin alterar el procedimiento establecido.
La posibilidad de aportar implementaciones y pruebas como material suplementario resulta especialmente relevante para una disciplina donde una contribución puede combinar teoría y sistemas experimentales. Una demostración formal puede respaldar propiedades de una técnica, mientras que el código permite estudiar su implementación. La coexistencia de ambos tipos de evidencia facilita investigaciones que explican tanto los fundamentos como las consecuencias prácticas de una propuesta y permite que la comunidad analice con mayor precisión los resultados presentados.
ACM SIGPLAN Conference on Programming Language Design and Implementation se dirige principalmente a especialistas en lenguajes de programación, sistemas de programación y fundamentos de la computación, así como a investigadores interesados en implementación, aplicaciones y evaluación de rendimiento. También resulta pertinente para trabajos que conectan varias de estas dimensiones y necesitan demostrar una contribución que no encaja únicamente en una perspectiva teórica o exclusivamente experimental.
ACM SIGPLAN Conference on Programming Language Design and Implementation contribuye al avance de la disciplina al mantener un espacio en el que diseño, implementación, teoría, aplicaciones y rendimiento se analizan conjuntamente. Esta integración permite que nuevas abstracciones se estudien junto con sus mecanismos de ejecución y que los sistemas implementados puedan evaluarse mediante fundamentos y evidencia científica. Su aportación favorece lenguajes y sistemas de programación cuyas propiedades se comprenden con mayor precisión y cuyo comportamiento puede analizarse mediante métodos reproducibles y técnicamente fundamentados.
Palabras clave: lenguajes de programación, sistemas de programación, PLDI, diseño de lenguajes, implementación de lenguajes, teoría de programación, aplicaciones, rendimiento, sistemas informáticos, abstracciones de programación, ejecución de programas, fundamentos de programación, investigación en programación, análisis de sistemas, evaluación experimental, métodos formales, semántica, software, compilación, implementación, teoría, experimentación, sistemas de ejecución, programación, informática, investigación reproducible, artefactos científicos, código experimental, demostraciones, revisión científica, evaluación por pares, abstracciones, rendimiento de software, diseño de sistemas, fundamentos computacionales, ingeniería de software.
