Informática - Lenguajes de programación

Lógica en InformáticaAutomatizando la traducción de Redex a Coq

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

2025-09-11T08:13:24+00:00 ― 6 minilectura

Lenguajes de programaciónEntendiendo la Semántica de Programas: Una Guía

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

2025-09-11T03:29:34+00:00 ― 8 minilectura

Ingeniería del softwareMejorando los gráficos de llamadas con técnicas de aprendizaje automático

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

2025-09-09T06:35:06+00:00 ― 10 minilectura

Aprendizaje automáticoMejorando la generación de código con modelos de lenguaje

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

2025-09-09T01:50:42+00:00 ― 8 minilectura

Ingeniería del softwareEvaluando el razonamiento de código en modelos de lenguaje grandes

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

2025-09-08T08:35:48+00:00 ― 11 minilectura

Lenguajes de programaciónAprovechando Modelos de Lenguaje Grandes para el Análisis de Flujo de Datos

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

2025-09-07T09:09:36+00:00 ― 8 minilectura

Aprendizaje automáticoPresentando una nueva herramienta para la seguridad de chatbots

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

2025-09-06T23:32:54+00:00 ― 8 minilectura

Lenguajes de programaciónMejorando los LLMs con Selección Efectiva de Datos

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

2025-09-06T23:25:00+00:00 ― 7 minilectura

Aprendizaje automáticoAprendizaje por Refuerzo Programático: Un Nuevo Enfoque

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

2025-09-06T22:45:30+00:00 ― 7 minilectura

Lenguajes de programaciónUn Nuevo Enfoque a la Semántica de Programación Probabilística

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

2025-09-06T20:54:54+00:00 ― 6 minilectura

Lenguajes de programaciónMejorando los Mensajes de Error de Tipo en Programación

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

2025-09-06T18:32:42+00:00 ― 8 minilectura

Lenguajes de programaciónAbordando Fallos Internos en el Desarrollo de Software

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

2025-09-05T23:35:06+00:00 ― 7 minilectura

Lenguajes de programaciónMejorando la Comunicación en Software con MPST

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

2025-09-04T02:41:12+00:00 ― 5 minilectura

Lógica en InformáticaMejorando la Resolución SMT con Bases de Grobner Fuertes

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

2025-09-03T23:00:00+00:00 ― 9 minilectura

Lenguajes de programaciónUna nueva forma de diferenciar funciones en el navegador

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

2025-09-03T17:51:54+00:00 ― 7 minilectura

Ingeniería del softwareEvaluando Modelos de Lenguaje Grande para Generación de Código

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

2025-09-02T12:14:24+00:00 ― 10 minilectura

Lenguajes de programaciónLenguajes Híbridos: Mezclando Texto y Visuales

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

2025-09-02T05:47:18+00:00 ― 7 minilectura

Aprendizaje automáticoMejorando la Generación de Código con Técnicas de Gramática

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

2025-09-02T02:29:48+00:00 ― 7 minilectura

Inteligencia artificialPresentando CatCode: Un Nuevo Marco de Evaluación para LLMs

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

2025-09-01T13:43:30+00:00 ― 9 minilectura

Lógica en InformáticaVerificación automatizada de hiperpropiedades en software

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

2025-09-01T09:30:42+00:00 ― 8 minilectura

Lenguajes de programaciónEntendiendo los intérpretes denotacionales y su impacto en los lenguajes de programación

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

2025-09-01T05:17:54+00:00 ― 5 minilectura

Inteligencia artificialMejorando Modelos de Código con Representaciones Intermedias

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

2025-08-31T22:35:00+00:00 ― 8 minilectura

Lenguajes de programaciónUn Enfoque Nuevo para la Gestión de Autorizaciones

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

2025-08-31T13:06:12+00:00 ― 7 minilectura

Lenguajes de programaciónAvanzando Protocolos de Comunicación con Tipos de Sesión

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

2025-08-31T12:50:24+00:00 ― 6 minilectura

Lógica en InformáticaAvances en la Síntesis de Programas: Realizabilidad y Lógica de Realización

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

2025-08-31T06:39:06+00:00 ― 5 minilectura

Lenguajes de programaciónAvances en Instrumentación de WebAssembly No Intrusiva

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

2025-08-30T05:22:18+00:00 ― 7 minilectura

Lenguajes de programaciónPresentamos el Allocator Verificado: Una Solución Segura de Gestión de Memoria

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

2025-08-29T09:45:12+00:00 ― 11 minilectura

Ingeniería del softwareNuevo marco mejora la optimización de código en Java

Un marco simplifica las optimizaciones de miradas furtivas para mejorar el rendimiento en aplicaciones de Java.

2025-08-28T15:11:18+00:00 ― 7 minilectura

Criptografía y seguridadSimplificando la Privacidad Diferencial con Frameworks

Aprende cómo los frameworks de programación mejoran la privacidad diferencial para el análisis de datos.

2025-08-28T12:17:30+00:00 ― 6 minilectura

Lenguajes de programaciónEntendiendo las Expresiones Regulares de JavaScript a Través de la Mecanización

Un nuevo método para asegurar la fiabilidad y claridad de las expresiones regulares en JavaScript.

2025-08-28T07:01:30+00:00 ― 11 minilectura

Aprendizaje automáticoLinguacodus: Uniendo Lenguaje y Código en Aprendizaje Automático

Linguacodus traduce lenguaje natural a código de computadora para tareas de aprendizaje automático.

2025-08-28T04:31:24+00:00 ― 6 minilectura

Lógica en InformáticaUna visión sobre la teoría de tipos dependientes

Descubre lo básico y la importancia de la teoría de tipos dependientes en la computación.

2025-08-27T21:21:55+00:00 ― 7 minilectura

Lenguajes de programaciónMejorando Pruebas con Reflexión a Pequeña Escala en Lean 4

Aprende cómo SSR mejora la gestión de pruebas en Lean 4.

2025-08-27T20:37:24+00:00 ― 6 minilectura

Lenguajes de programaciónLean 4: Una Herramienta Más Fuerte para Pruebas

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

2025-08-27T09:18:00+00:00 ― 7 minilectura

Ingeniería del softwareEl Auge de la Inteligencia de Código Neuronal

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

2025-08-26T23:41:18+00:00 ― 8 minilectura

Lenguajes de programaciónAsegurando la seguridad en Rust con Gillian-Rust

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

2025-08-26T16:42:36+00:00 ― 6 minilectura

Física cuánticaRetroceso Cuántico: Un Nuevo Enfoque para Resolver Problemas

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

2025-08-26T09:21:09+00:00 ― 7 minilectura

RobóticaEnseñando las Preferencias de los Usuarios de Máquinas en Tareas Visuales

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

2025-08-25T21:05:30+00:00 ― 8 minilectura

Lenguajes de programaciónNuevo enfoque para la gestión de memoria en lenguajes sin gestionar

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

2025-08-25T17:48:00+00:00 ― 7 minilectura

Ingeniería del softwareDesafiando modelos de generación de código con nuevos benchmarks

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

2025-08-25T06:36:30+00:00 ― 4 minilectura