Informática - Lenguajes de programación

GeckoGraph hace más fácil entender los tipos polimórficos a través de representaciones visuales.

Goanna mejora la reportación de errores y la depuración para programadores de Haskell.

Nuevas técnicas mejoran el corte de pastel sin envidias entre varios participantes.

La investigación muestra que el uso efectivo de lenguajes de alto nivel para operaciones con enteros grandes en GPUs.

Qwerty hace que la programación cuántica sea más accesible y eficiente para los desarrolladores.

La Universidad Innopolis lidera la investigación sobre cómo manejar identificadores en lenguajes de programación.

Un nuevo algoritmo mejora el refinamiento de código usando LLMs de manera más eficiente.

Explora cómo la parametricidad y la cohesión dan forma a sistemas de tipos fiables.

Un enfoque práctico para analizar costos en estructuras de datos a lo largo del tiempo.

AbstractBeam mejora la síntesis de programas, aprovechando la generación de código eficiente a través del Aprendizaje de Bibliotecas.

Explora cómo se pueden generar automáticamente programas de computadora para cumplir con requisitos específicos.

Este artículo examina cómo la organización de datos afecta la velocidad y eficiencia del programa.

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.