Object-Oriented Programming, Systems, Languages, and Applications se centra en la investigación práctica y teórica sobre lenguajes de programación, sistemas de programación y entornos utilizados para construir software. Su ámbito científico cubre distintas etapas del desarrollo, entre ellas requisitos, modelado, prototipado, diseño, implementación, generación, análisis, verificación, pruebas, evaluación, mantenimiento y reutilización. La convocatoria admite investigaciones que desarrollan nuevas herramientas, técnicas y principios, así como evaluaciones capaces de aportar conocimiento sobre las propiedades y el funcionamiento de tecnologías de programación. Aunque su denominación histórica remite a la programación orientada a objetos, el programa científico actual adopta una perspectiva amplia sobre los fundamentos y la práctica de los lenguajes de programación.
El principal objetivo de Object-Oriented Programming, Systems, Languages, and Applications consiste en avanzar el conocimiento sobre las abstracciones, métodos y sistemas que permiten expresar y ejecutar programas con propiedades comprensibles y evaluables. El encuentro busca trabajos que aportan ideas nuevas y resultados relevantes y exige evidencia suficiente para respaldar las afirmaciones científicas. Esa evidencia puede adoptar la forma de demostraciones, sistemas implementados, experimentos, análisis estadísticos, estudios con usuarios, casos de estudio u otros procedimientos adecuados al tipo de contribución. La convocatoria no impone una única metodología y permite combinar fundamentos matemáticos, construcción de sistemas y evaluación empírica.
El diseño de lenguajes constituye una de las líneas centrales. Las investigaciones pueden proponer nuevas construcciones lingüísticas y estudiar cómo afectan a expresividad, corrección, mantenibilidad y capacidad de razonamiento. La semántica forma parte de esta perspectiva porque proporciona modelos precisos sobre el significado de los programas. Una contribución puede desarrollar nuevas reglas, abstracciones o mecanismos y demostrar qué propiedades ofrecen frente a aproximaciones existentes. El interés científico reside en que cada novedad lingüística se relacione con un problema concreto y aporte conocimiento generalizable sobre programación.
Los sistemas de tipos representan otra línea directamente relacionada con el ámbito oficial. Los trabajos pueden desarrollar mecanismos para expresar y comprobar propiedades antes de ejecutar un programa. La investigación puede abordar seguridad, recursos, efectos, concurrencia y otras características susceptibles de representación mediante información estática. Los sistemas de tipos se conectan con verificación y análisis porque permiten excluir clases de comportamientos y proporcionar garantías formales. La convocatoria favorece trabajos que explican tanto los fundamentos como las implicaciones prácticas de estas técnicas.
El análisis de programas constituye otro eje científico. Las contribuciones pueden investigar procedimientos capaces de obtener información sobre código y comportamiento mediante técnicas estáticas, dinámicas o combinadas. Estos análisis pueden utilizarse para localizar errores, comprobar propiedades, apoyar transformaciones o proporcionar información a herramientas de desarrollo. La escalabilidad y la precisión resultan especialmente importantes: un análisis excesivamente general puede producir conclusiones poco útiles, mientras que un método demasiado costoso puede resultar difícil de utilizar sobre sistemas reales.
La compilación y la generación de programas forman también parte del alcance. Los trabajos pueden estudiar transformaciones que convierten programas en otras representaciones, optimizaciones y mecanismos para plataformas o dominios concretos. La investigación puede analizar corrección de transformaciones, rendimiento y relación entre decisiones lingüísticas y características del sistema de ejecución. También puede abordar generación automática cuando existe una contribución sustancial a los fundamentos o prácticas de los lenguajes de programación.
La verificación constituye otra línea expresamente reconocida. Los artículos pueden desarrollar métodos formales que permiten comprobar que un sistema cumple determinadas especificaciones. Esta investigación puede combinar lógicas, sistemas de tipos, análisis, demostración mecanizada y otras técnicas. El objetivo consiste en sustituir determinadas formas de confianza informal por argumentos susceptibles de comprobación. Los trabajos pueden abordar tanto fundamentos como herramientas implementadas y deben proporcionar evidencia acorde con las garantías que afirman ofrecer.
Las pruebas y la evaluación de software completan otra parte del ciclo de desarrollo contemplado por la convocatoria. Las contribuciones pueden estudiar mecanismos para generar pruebas, explorar comportamientos o medir propiedades de sistemas y herramientas. También pueden comparar técnicas mediante experimentos y estudios de caso. Object-Oriented Programming, Systems, Languages, and Applications concede importancia explícita a la evidencia, por lo que una propuesta debe mostrar no solo que una idea resulta plausible, sino también qué resultados permiten valorar su utilidad o sus propiedades.
El mantenimiento y la reutilización forman asimismo parte del ámbito científico. Los sistemas evolucionan y necesitan adaptarse a nuevas necesidades sin perder las propiedades que justifican su diseño. Los trabajos pueden investigar abstracciones y herramientas que facilitan modificaciones, transformaciones y reutilización de componentes. Esta perspectiva conecta los lenguajes con la ingeniería de software y permite estudiar cómo determinadas decisiones tomadas durante diseño o implementación afectan a la capacidad para modificar posteriormente un sistema.
La inteligencia artificial y los grandes modelos de lenguaje pueden formar parte del programa cuando la contribución avanza sustancialmente el estado del arte de los lenguajes de programación. La convocatoria establece explícitamente que una aplicación genérica de inteligencia artificial sin una aportación relevante a esta disciplina puede quedar fuera de ámbito. Entre las direcciones pertinentes aparecen nuevas construcciones lingüísticas, semánticas, sistemas de tipos, análisis de programas, técnicas de compilación, garantías formales y métodos de evaluación que produzcan avances específicos para la investigación en programación.
La reproducibilidad constituye otro aspecto metodológico destacado. La convocatoria solicita una declaración sobre disponibilidad de datos y artefactos y permite someter materiales experimentales a evaluación específica. Los artefactos pueden incluir implementaciones, conjuntos de datos y otros recursos capaces de ayudar a comprobar o reutilizar los resultados. Esta política refuerza la transparencia y facilita que otras investigaciones reproduzcan experimentos, comparen técnicas o amplíen sistemas publicados.
Object-Oriented Programming, Systems, Languages, and Applications se dirige a especialistas en lenguajes de programación, análisis de programas, compiladores, verificación, sistemas de tipos, ingeniería de software y sistemas informáticos. Su amplitud permite reunir trabajos teóricos y prácticos bajo un criterio común: producir avances específicos sobre la forma en que los programas se expresan, analizan, transforman y ejecutan. Su aportación al avance de la disciplina reside en conectar fundamentos formales con herramientas y evaluaciones empíricas, favoreciendo tecnologías de programación con propiedades mejor comprendidas y resultados respaldados mediante evidencia científica.
Palabras clave: lenguajes de programación, OOPSLA, sistemas de programación, programación orientada a objetos, semántica, sistemas de tipos, análisis de programas, compiladores, generación de código, verificación formal, pruebas de software, evaluación, mantenimiento, reutilización, modelado, prototipado, diseño de software, implementación, transformaciones de programas, abstracciones, corrección, métodos formales, herramientas de programación, sistemas de ejecución, inteligencia artificial, modelos de lenguaje, análisis estático, análisis dinámico, optimización, reproducibilidad, artefactos científicos, ciencia abierta, ingeniería de software, demostraciones, experimentación, evaluación empírica, garantías formales, desarrollo de software, teoría de programación.
