Informática - Lenguajes de programación

Lean 4 mejora la verificación formal con un verificador externo para pruebas más precisas.

Explorando cómo la IA impacta el desarrollo de software y las prácticas de codificación.

Gillian-Rust ofrece una forma novedosa de verificar código Rust inseguro de manera efectiva.

Una mirada a cómo el retroceso cuántico mejora la solución de problemas complejos como el Sudoku.

Un marco para que las máquinas aprendan las preferencias del usuario a partir de datos visuales.

Un sistema de manejadores mejora la gestión de memoria y reduce la fragmentación en lenguajes no gestionados.

Nuevos estándares revelan las fortalezas y debilidades de los modelos de lenguaje de codificación.

Certificar redes neuronales asegura su seguridad y confiabilidad en aplicaciones críticas.

Aprende cómo IEEE 1394 asegura una transmisión de datos confiable a través de su estructura en capas.

Una herramienta para analizar problemas de memoria en código C.

Un nuevo método mejora la compilación de programas, produciendo archivos de salida más pequeños usando datos anteriores.

Descubre la importancia de la programación sensible a costos para optimizar la gestión de recursos.

Analizando problemas de terminación en programas cuánticos no deterministas usando técnicas matemáticas.

Un método para verificar automáticamente las estructuras de datos contra invariantes de representación usando técnicas avanzadas.

Aprende cómo los LLMs pueden ayudar a que la programación en C sea más segura y eficiente.

Un nuevo modelo mejora el análisis del código de WebAssembly a través de una comprensión de datos mixta.

Un nuevo método mejora la confianza en la verificación automatizada de programas.

Un nuevo método automatiza el análisis de las salidas de programas probabilísticos.

Un nuevo enfoque para simplificar cálculos efectivos en lenguajes de programación.

Un método para convertir algoritmos offline en sus contrapartes online de manera eficiente.

Este papel presenta un método eficiente de comparación de árboles usando resolución SAT.

Enfoques innovadores mejoran el rendimiento en cálculos de tensores dispersos en varias aplicaciones.

Un nuevo enfoque reduce la complejidad en la verificación de la corrección de las estructuras de datos.

NetKAT simplifica la creación y verificación de reglas de red para una gestión eficiente.

La investigación se centra en mejorar la verificación de redes neuronales con especificaciones NAP mínimas.

Presentando un nuevo modelo de programación para el desarrollo eficiente de aceleradores de hardware.

GATlab simplifica el modelado matemático para investigadores e ingenieros.

Una guía para enseñar la semántica de lenguajes de programación usando conjuntos y relaciones.

Conoce WebPie, un lenguaje sencillo que usa tipos dependientes para programar de forma segura.

Aprende a manejar datos escasos de manera efectiva con reglas y verificación.

Una mirada a cómo diferentes estrategias de evaluación impactan en el significado de la programación.

Este sistema mejora el control y el seguimiento de datos en la programación.

Un nuevo método para confirmar la terminación de programas en entornos probabilísticos complejos.

Una mirada a nuevos métodos para optimizar el rendimiento del código de IA.

AniFrame hace que programar arte sea accesible para los principiantes con un enfoque fácil de usar.

Un nuevo método mejora cómo los usuarios crean fórmulas en hojas de cálculo.

Este artículo explora cómo los invariantes pueden mejorar la seguridad de los contratos inteligentes contra ataques.

Esta investigación se centra en un nuevo tipo de sistema que combina estrategias de evaluación en lenguajes de programación.

Un nuevo enfoque para los límites de error usando créditos de error para programas complejos.

Aprende la importancia de validar los rastros de programas distribuidos contra las especificaciones.