Informática - Lenguajes de programación

Un curso práctico para entender los sistemas de tipos en programación usando Stella.

Un estudio sobre enseñar ciberseguridad en cursos de programación.

Un nuevo método simplifica la programación con generación de software eficiente y mejores especificaciones.

Un nuevo marco mejora la fiabilidad de la comunicación en protocolos de paso de mensajes multiparte.

Surge una herramienta poderosa para el análisis profundo de transacciones de contratos inteligentes.

Este artículo describe un nuevo método para mejorar la generación de código Verilog usando ajuste de instrucciones.

Un método para asegurar la corrección del software a través de análisis estructurado.

Haskelite ayuda a los nuevos en entender Haskell a través de trazas de evaluación claras.

Este marco mejora la eficiencia de la ciencia de datos al convertir código de Python a SQL.

Las agencias de seguridad instan a los líderes de software a adoptar prácticas de programación más seguras.

Técnicas para mejorar el mantenimiento y rendimiento de herramientas de análisis estático.

DASTAC mejora los cálculos de tensores al combinar técnicas densas y dispersas para ser más eficientes.

Aprende cómo los gráficos reactivos se adaptan en respuesta a las interacciones del usuario.

Un nuevo enfoque para facilitar el manejo de formatos de datos científicos personalizados.

Un nuevo enfoque para garantizar la fiabilidad de programas probabilísticos de orden superior.

Examinando cómo las transformaciones del compilador impactan la seguridad del programa y la no interferencia.

Aprende cómo los contenedores y los patrones de solicitud-respuesta facilitan las interacciones de software.

Un nuevo sistema de tipos asegura que los contratos inteligentes funcionen sin problemas y sin problemas de gas.

Un nuevo lenguaje de programación mejora la verificación de seguridad del protocolo MPC.

Un nuevo enfoque simplifica la compilación de cambios en proyectos de Java, mejorando la seguridad.

Aprende cómo la verificación de programas asegura la confiabilidad del software en industrias críticas.

Un método para verificar lenguajes de programación para mejor confiabilidad y corrección.

Nuevas técnicas mejoran la verificación de programas de computadora complejos para un rendimiento confiable.

Analizando las vulnerabilidades en herramientas de autocompletado de código populares y sus implicaciones para los desarrolladores.

Un nuevo marco simplifica los procesos de compilador para aceleradores de tensores usando LLMs.

Aprende a usar Haskell para programación relacional y manejar datos de forma eficiente.

Combinando HW-NAS y ACO para redes neuronales eficientes.

El nuevo modelo de propiedad mejora la gestión de memoria y la verificación en lenguajes de bajo nivel.

Un marco para razonar sobre lenguajes de programación con recursión y aleatoriedad.

Aprende a modernizar sistemas mainframe usando APIs para una mejor integración.

Un nuevo algoritmo mejora la eficiencia en la compilación de circuitos cuánticos usando cadenas de Pauli.

TCT ofrece una nueva forma de asegurar contratos inteligentes de Ethereum.

Un método para la corrección automática de errores de software enfocado en la privacidad y la seguridad.

Un método para analizar programas y detectar errores y mejorar la confiabilidad.

Descubre cómo los derivados personalizados mejoran los procesos de diferenciación automática en programación y aprendizaje automático.

Un nuevo método para estimar recursos en circuitos de computación cuántica.

Tyro mejora la identificación de errores de tipo para programadores, especialmente para los que son principiantes.

Un nuevo sistema ayuda a usuarios ciegos a crear tecnología asistiva personalizada.

Tywaves mejora la claridad y la estructura en la depuración de diseños de hardware Chisel.

Examinando problemas en la seguridad de tipos de Kotlin y posibles soluciones.