Informatique - Langages de programmation

Un aperçu des combinateurs de parseurs et de l'importance de vérifier leur précision.

Explore comment la différentiation automatique et Prolog fonctionnent ensemble dans divers domaines.

Apprends comment le raisonnement Rely-Guarantee améliore l'interaction des programmes sans conflits.

Ce document présente une notation pour mieux gérer les tâches de programmation séquentielle et parallèle.

Des recherches montrent que les modèles de langage peuvent apprendre du contenu significatif à partir des langages de programmation.

Examiner les complexités et les solutions pour gérer le flux de contrôle en informatique quantique.

Une méthode d'analyse statique améliore l'inférence de format de protocole pour une meilleure sécurité réseau.

Ce travail vérifie la fiabilité d'une structure de données concurrente pour les processeurs.

Enquêtant sur les complexités de l'équivalence dans le lambda-calcul typé, surtout dans le lambda-calcul sûr.

Une nouvelle méthode améliore l'analyse de la sécurité des protocoles pour une meilleure protection.

Explorer comment les compilateurs influencent les performances et la qualité du code WebAssembly.

Le projet Hydro vise à simplifier la programmation pour les systèmes distribués.

ChipGPT simplifie la conception de puces en utilisant un langage courant pour les ingénieurs.

Cet article parle des algorithmes en parallèle pour les diagrammes de chaînes, en se concentrant sur leur représentation et leur manipulation.

Cet article examine comment les transformateurs apprennent des fonctions récursives dans les tâches de programmation.

Analyser l'incertitude à travers des modèles probabilistes dans différents domaines.

Une nouvelle méthode pour vérifier les protocoles de communication dans des systèmes multipartites en utilisant des automates.

Explore les défis et solutions pour les programmes concurrents dans des modèles de mémoire faible.

Explorer le réécriture de termes en computation parallèle pour un traitement de données efficace.

Les e-graphs colorés améliorent le raisonnement logique en réduisant l'utilisation de la mémoire et en augmentant la vitesse.

Ce document présente un modèle formel pour des calculs sécurisés en langage C.

Un superoptimiseur améliore les performances des instructions SIMD dans LLVM, augmentant l'efficacité des programmes.

Une nouvelle représentation graphique améliore la façon dont l'apprentissage automatique analyse les langages de programmation.

FreeCHR propose une approche uniforme des Règles de Gestion des Contraintes dans différents langages de programmation.

Une nouvelle méthode pour créer des invariants dans des structures de boucle difficiles.

Un aperçu des méthodes pour vérifier la liaison dynamique en programmation.

LambdaBeam améliore la création de programmes en gérant efficacement des fonctions complexes et des boucles.

Découvrez comment la différentiation algorithmique et le checkpointing améliorent l'efficacité des modèles scientifiques.

Un nouveau jeu de données de projets COBOL soutient la recherche dans des systèmes cruciaux.

Un nouvel outil aide les utilisateurs à gérer les erreurs d'arrondi dans les calculs à virgule flottante.

Un cadre pour surveiller les composants blackbox dans les applis en réseau.

De nouvelles méthodes améliorent la sécurité en architecture informatique grâce à des spécifications formelles.

Cet article parle d'une méthode combinée pour un editing de code automatisé efficace.

Un nouveau langage de programmation simplifie l'inférence bayésienne sur les espaces de fonctions pour les chercheurs.

Simplifier la gestion des types dans les programmes avec insertion automatique de boîtes.

Cet article parle d'utiliser la programmation en direct pour améliorer les suggestions de code générées par IA.

Une nouvelle méthode améliore le contrôle sur la génération de texte dans les modèles de langage.

Cette étude évalue l'efficacité de l'auto-réparation dans les tâches de programmation en utilisant des modèles linguistiques avancés.

Une bibliothèque pour la logique floue en Julia, axée sur la facilité d'utilisation et la flexibilité.

Découvrez comment Hydroflow et les e-graphs améliorent l'efficacité du traitement des données.