Informática - Lenguajes de programación

Una herramienta práctica para automatizar la visualización de datos y crear infografías atractivas.

Explora cómo los contratos inteligentes transforman las operaciones comerciales con Daml.

Un nuevo compilador mejora la eficiencia de entrenamiento de los modelos de deep learning.

Explora un lenguaje flexible para mejores interacciones en los procesos de desarrollo de software.

Un nuevo método que combina redes neuronales y lógica para mejorar el razonamiento.

MCTS-GEB ofrece un nuevo enfoque para mejorar la eficiencia de reescritura de programas.

Un nuevo método para generar programas complejos de manera eficiente.

Aprende cómo Verus ayuda a asegurar la corrección en la programación en Rust.

Creando un marco versátil para operaciones de tipos de datos sin problemas.

Una mirada al rendimiento de Julia y Python/Numba en comparación con lenguajes tradicionales.

Una mirada a métodos de prueba para sistemas distribuidos confiables.

NeuroQL integra datos objetivos y opiniones subjetivas para un mejor acceso a la información.

Un nuevo marco para optimizar operaciones con tensores dispersos y diferenciación automática.

Una mirada a la equivalencia de programas, bisimulación y su importancia en la informática.

Descubre un nuevo enfoque para la generación de parsers usando GLL para mejor modularidad.

Un conjunto de datos nuevo ayuda a identificar malos olores en el código para una mejor calidad de software.

WikiCoder combina la síntesis de programas con grafos de conocimiento para una generación de código confiable.

Una herramienta interactiva para corregir errores de tipo de manera eficiente en programación Haskell.

Este artículo habla de un método para convertir código C a Rust con un enfoque en la propiedad.

Una mirada a las reglas y estrategias del ajedrez.

Una mirada a mejorar el rendimiento de fexprs a través de la evaluación parcial en la programación Lisp.

Aprende a manejar transacciones en bases de datos para mejorar el rendimiento y la confiabilidad.

Un nuevo método de optimización de compiladores mejora la velocidad de acceso a datos en sistemas distribuidos.

Una herramienta que reescribe código para mejorar el rendimiento del análisis de datos sin esfuerzo.

SAFE-CSV simplifica y fortalece el procesamiento de datos para archivos CSV.

Presentando un lenguaje para expresar y gestionar eficazmente tipos de datos estructurados.

Este artículo habla sobre los desafíos y herramientas para traducir modelos VDM a Isabelle/HOL.

Los operados ayudan a asegurar la integración correcta del código en el desarrollo de software.

Una mirada a Lilac, una nueva lógica para asegurar la corrección en la programación probabilística.

Aprende a automatizar los resultados esperados de programas usando probabilidad y recursión.

La detección de la mirada ofrece información sobre la atención y las emociones en varios campos.

Este método simplifica la integración de Python y C++ para los científicos.

Un nuevo método mejora la edición de imágenes selectivas usando demostraciones de usuarios y IA.

Un enfoque unificado para la gestión de recursos y el flujo de información en lenguajes de programación.

Un nuevo método para simplificar la comunicación en programación y mejorar la eficiencia.

Aprende a prevenir inversiones de prioridad en tareas concurrentes.

Métodos para verificar la consistencia en los modelos de memoria del software concurrente.

Aprende sobre las causas, detección y prevención de bloqueos en sistemas de software.

Un nuevo sistema combina Datalog y saturación de igualdad para mejorar el análisis de programas.

Un nuevo sistema mejora la depuración de OCaml al rastrear la ejecución del programa.