Informática - Lenguajes de programación

Una introducción a las teorías de tipos modales en capas y sus aplicaciones en programación.

Este artículo analiza cómo se compara ChatGPT con programadores humanos en una competencia global.

Presentamos una herramienta que mejora las tareas relacionadas con matrices en el análisis de datos.

Una mirada al Árbol de Búsqueda Binaria Amigable con la Contención y su eficiencia.

Una visión general de los combinadores de análisis y la importancia de verificar su precisión.

Explora cómo la diferenciación automática y Prolog trabajan juntos en varios campos.

Descubre cómo el razonamiento Rely-Guarantee mejora la interacción del programa sin conflictos.

Este documento presenta una notación para gestionar mejor las tareas de programación secuencial y paralela.

Investigaciones muestran que los modelos de lenguaje pueden aprender contenido significativo a partir de lenguajes de programación.

Examinando las complejidades y soluciones en la gestión del flujo de control para la computación cuántica.

Un método de análisis estático mejora la inferencia del formato de protocolo para una mejor seguridad en la red.

Este trabajo verifica la fiabilidad de una estructura de datos concurrente para procesadores.

Investigando las complejidades de la equivalencia en el cálculo lambda tipado, particularmente en el cálculo lambda seguro.

Un nuevo método mejora el análisis de la seguridad de los protocolos para una mejor protección.

Explorando cómo los compiladores afectan el rendimiento y la calidad del código de WebAssembly.

El proyecto Hydro busca simplificar la programación para sistemas distribuidos.

ChipGPT hace que el diseño de chips sea más fácil usando lenguaje cotidiano para ingenieros.

Este artículo habla sobre algoritmos de datos en paralelo para diagramas de cadenas, centrándose en su representación y manipulación.

Este artículo examina cómo los transformers aprenden funciones recursivas en tareas de programación.

Analizando la incertidumbre a través de modelos probabilísticos en diferentes áreas.

Un nuevo método para verificar protocolos de comunicación en sistemas multiparte usando autómatas.

Explora los desafíos y soluciones para programas concurrentes en modelos de memoria débiles.

Explorando la reescritura de términos en la computación paralela para un procesamiento de datos eficiente.

Los e-grafos de colores mejoran el razonamiento lógico al reducir el uso de memoria y aumentar la velocidad.

Este documento presenta un modelo formal para cálculos seguros en lenguaje C.

Un superoptimizador mejora el rendimiento de las instrucciones SIMD en LLVM, aumentando la eficiencia del programa.

Una nueva representación gráfica mejora la forma en que el aprendizaje automático analiza los lenguajes de programación.

FreeCHR ofrece un enfoque uniforme para las Reglas de Manejo de Restricciones en diferentes lenguajes de programación.

Un nuevo método para crear invariantes en estructuras de bucles desafiantes.

Una mirada a los métodos para verificar el enlace dinámico en programación.

LambdaBeam mejora la creación de programas al manejar funciones complejas y bucles de manera eficiente.

Aprende cómo la diferenciación algorítmica y el guardado de puntos mejoran la eficiencia de los modelos científicos.

Un nuevo conjunto de datos de proyectos COBOL apoya la investigación en sistemas cruciales.

Una nueva herramienta ayuda a los usuarios a manejar errores de redondeo en cálculos de punto flotante.

Un marco para monitorear componentes de caja negra en aplicaciones en red.

Nuevos métodos mejoran la seguridad en la arquitectura de computadoras a través de especificaciones formales.

Este artículo habla sobre un método combinado para la edición de código automatizada efectiva.

Un nuevo lenguaje de programación simplifica la inferencia bayesiana en espacios de funciones para los investigadores.

Simplificando la gestión de tipos en programas con inserción automática de cajas.

Este artículo habla sobre cómo usar la Programación En Vivo para mejorar las sugerencias de código generadas por IA.