Informática - Lenguajes de programación

Descubre el papel de los tipos de intersección monádica en la mejora de los sistemas de tipos de lenguajes de programación.

Un nuevo enfoque para las pruebas de software usando fuzzing de caja gris y descenso de gradiente.

Un nuevo método simplifica la prueba de propiedades de programas usando lógica de no realizabilidad.

Aprende cómo la Componibilidad Universal y otras teorías mejoran la seguridad criptográfica.

Aprende cómo herramientas de análisis estático como C Analyzer mejoran la confiabilidad del software.

Este método mejora la precisión en la codificación a través del aprendizaje de funciones reutilizables y la reestructuración.

Un nuevo modelo apoya una comunicación eficiente en la programación coreográfica.

Combinando LLMs y verificación formal para mejorar la precisión y eficiencia en la programación.

Un nuevo marco para entender el coste en la programación funcional probabilística.

Una nueva estructura de grafo mejora la eficiencia del compilador en la programación paralela.

Una mirada a la lógica adjunta y sus aplicaciones en programación y computación.

Un nuevo conjunto de datos y modelo para mejorar el aprendizaje automático en pruebas formales usando Agda.

Descubre cómo la Programación de Grafos de Objetos simplifica el manejo de datos en el desarrollo de software.

Una nueva herramienta busca simplificar la conversión de modelos Redex a Coq.

Este artículo explica lo básico de la semántica de programas y sus conceptos clave.

Este estudio explora la mejora de la precisión de los gráficos de llamadas usando métodos de machine learning.

Un método para mejorar la generación de código en ciencia de datos usando especificaciones de entrada-salida.

Un nuevo marco para evaluar la comprensión de tareas de código en LLMs.

Un nuevo enfoque usando LLMs mejora el análisis de flujo de datos para entender mejor el código.

SPML mejora la seguridad de los chatbots al monitorear las entradas de los usuarios y afinar las definiciones.

Explorando métodos para mejorar el rendimiento en tareas de codificación en modelos de lenguaje usando datos.

Explorando los beneficios de usar programación en el aprendizaje por refuerzo.

Presentando un marco para una semántica más clara en lenguajes de programación probabilística.

Un nuevo enfoque para hacer que los mensajes de error de tipo sean más claros para los programadores.

Aprende a prevenir fallos internos en la programación de software de manera efectiva.

Aprende cómo MPST mejora los procesos de comunicación en sistemas distribuidos.

Un enfoque nuevo mejora la eficiencia en la resolución SMT para vectores de bits.

Esta biblioteca simplifica la diferenciación automática para aplicaciones web.

Un estudio clasifica las capacidades de programación de varios modelos de lenguaje grandes.

Descubre cómo los lenguajes híbridos mejoran la programación a través de la integración texto-imagen.

Un nuevo método reduce los errores de sintaxis en el código generado por modelos de lenguaje grandes.

CatCode busca mejorar la evaluación de los LLMs en tareas de codificación y lenguaje.

Un nuevo método para verificar propiedades complejas de programas para mejorar la seguridad.

Una mirada a los intérpretes denotacionales y su papel en el análisis de programas.

Este estudio mejora los modelos de código usando representaciones intermedias de compiladores para tener un mejor rendimiento multilingüe.

Presentamos un nuevo lenguaje para permisos de acceso claros y eficientes.

Los tipos de sesión permiten una comunicación estructurada entre los componentes del sistema para mejorar la fiabilidad.

Un estudio sobre la generación automática de programas utilizando la realizabilidad y la lógica de realización.

Un nuevo sistema mejora la monitorización de aplicaciones WebAssembly sin afectar el rendimiento.

Un nuevo asignador de memoria ofrece mayor seguridad y rendimiento para el desarrollo de software.