Informática - Lenguajes de programación

Un nuevo enfoque para mejorar el rendimiento de los arrays en programación.

Descubre cómo la programación lógica transforma la resolución de problemas a través de relaciones e inferencias.

Te presentamos un lenguaje de programación que simplifica los procesos de diseño de hardware.

Un nuevo enfoque para entender los costos esperados de programas probabilísticos usando lógica de separación de orden superior.

La investigación muestra que instrucciones diversas mejoran el rendimiento de los modelos de lenguaje en tareas no vistas.

Un nuevo asistente usa IA para agilizar el diseño de hardware digital y la creación de código RTL.

Los investigadores mejoran los sistemas de síntesis de programas para entender mejor las necesidades de los usuarios.

Este estudio evalúa el rendimiento de los LCGMs en tareas de codificación en inglés y chino.

Un nuevo método ayuda a los programadores a verificar unidades en software científico.

Un nuevo método mejora la generación de código para lenguajes de programación especializados.

Explorando cómo la IA facilita la conversión de código entre lenguajes de programación.

Una nueva métrica para medir lo difícil que es compilar lenguajes de programación.

Aprende cómo la depuración reversible mejora el seguimiento de errores en la programación de Erlang.

Un nuevo estándar para evaluar LLMs para tareas de programación en Java.

Un nuevo método mejora los modelos de lenguaje de código a través de casos de prueba efectivos y aprendizaje de preferencias.

MARVeLus verifica e implementa puentes para sistemas ciberfísicos más seguros.

Una nueva herramienta mejora la gestión de software en tiempo real para respuestas inmediatas.

DafnyBench mide herramientas de verificación de software, abriendo el camino para una programación confiable.

Una mirada a cómo los LLMs enfrentan desafíos de programación por ejemplo.

Un enfoque de dos idiomas mejora la precisión mientras mantiene la velocidad en la programación.

Un nuevo tipo de sistema mejora el análisis de errores de redondeo para cálculos numéricos.

Explora cómo el orden de los modelos mejora los diseños de diagramas y captura la intención del usuario.

Este artículo explora métodos para calcular la energía del estado fundamental usando programación cuántica.

APPL simplifica el desarrollo con modelos de lenguaje grandes usando una sintaxis intuitiva, parecida a Python.

Nuevos métodos mejoran la eficiencia de descomputación en programas cuánticos complejos.

Aprende cómo la programación probabilística ayuda a analizar la incertidumbre en los datos.

Un nuevo enfoque modular mejora la inferencia variacional en lenguajes de programación probabilística.

INDICT mejora la seguridad y utilidad del código usando análisis de crítica dual.

Mejorando el rendimiento de la programación lógica al analizar el compartimiento de variables y la linealidad.

Una mirada a las álgebras uniformes y su papel en Prolog y la programación lógica.

Una guía sobre programación con tipos, ejemplos y realizabilidad.

Nuevos modelos mejoran la eficiencia del código de software y el rendimiento del compilador.

Un nuevo marco mejora la fiabilidad en los sistemas de comunicación asíncrona a través de la gestión del tiempo.

Un nuevo enfoque optimiza el rendimiento del kernel utilizando Ansor y Droplet Search.

Una herramienta para verificar protocolos de comunicación en apps de Clojure.

Un marco para la verificación formal de algoritmos oblivious para proteger datos sensibles.

LASSI ayuda a traducir programas de computadora para una computación científica más eficiente.

Una mirada a los tipos equi-recursivos e iso-recursivos en programación.

Una guía sobre el papel de Yul en los contratos inteligentes de Ethereum.

Una nueva herramienta mejora la fusión de Git al analizar las dependencias del código.