Derniers articles pour Langages de programmation

De nouveaux modèles améliorent l'efficacité du code logiciel et la performance des compilateurs.

Un nouveau cadre pour analyser la terminaison dans les fonctions d'ordre supérieur.

Explorer comment les odeurs de conception affectent les rôles de développement et de maintenance des logiciels.

Cette étude explore comment des auto-réplicateurs peuvent se former à partir d'interactions de programmation aléatoires.

Une étude des références réciproques dans les expressions régulières et leur relation avec les langages formels.

Cette étude évalue l'efficacité des LLM pour créer des tests unitaires.

Un outil pour vérifier les protocoles de communication dans les applis Clojure.

Cedar propose un moyen clair de développer des politiques d'autorisation pour les applis.

Un guide sur le rôle de Yul dans les contrats intelligents Ethereum.

Examiner des méthodes pour améliorer la génération de code pour des langages de programmation spécialisés en utilisant des LLMs.

Apprends des concepts clés de programmation pour mieux gérer les données et les erreurs.

Une étude sur l'amélioration de la sécurité du code généré par des modèles d'IA.

MIREncoder améliore l'optimisation du code en utilisant une représentation multi-modale et l'apprentissage automatique.

Un cadre en deux étapes améliore l'inférence de types de Python, augmentant la qualité et l'efficacité du code.

Une méthode améliorant la vérification des programmes probabilistes d'ordre supérieur en utilisant de nouveaux systèmes de types.

ESBMC-Python aide à vérifier la correctitude du code Python en utilisant des annotations de type et un modèle de vérification bornée.

Une étude sur comment les LLM gèrent les règles et contraintes de codage.

Une nouvelle méthode améliore l'efficacité des modèles linguistiques tout en réduisant les coûts et l'impact environnemental.

Un aperçu de comment l'IA aide la programmation quantique avec le jeu de données Qiskit HumanEval.

Un nouveau cadre garantit que les optimisations du compilateur préservent la justesse des programmes.

Synbciatr corrige automatiquement les cas de test obsolètes dans le développement logiciel.

Un regard sur le code inaccessible et son impact sur l'efficacité de la programmation.

Cette étude explore le rôle des couches feed-forward dans les modèles de langage de code.

Examine les défis de sécurité avec les logiciels open-source, surtout dans le langage de programmation Go.

Une nouvelle méthode améliore l'évaluation de la précision de la génération de code SQL.

Apprends comment les univers de types influencent l'allocation de mémoire dans les langages de programmation.

Un aperçu des processus linéaires et de leur importance dans la programmation et les systèmes de communication.

Un aperçu des frameworks modulaires dans le développement d'outils d'analyse binaire.

CodeCSE améliore le lien entre le code et les commentaires en utilisant l'apprentissage par contraste pour l'ingénierie logicielle.

Un nouveau design de langage vise à améliorer le raisonnement et la clarté dans le développement logiciel.

Explorer des techniques de masquage de grammaire pour améliorer la précision de génération de code.

Une analyse détaillée des bugs dans les compilateurs Solidity et leurs implications.

Un aperçu des catégories supérieures et de leur rôle dans les relations complexes.

Cet article explore la communication par boîte aux lettres et son rôle dans les machines à états finis.

Explore les bases et la sémantique de la programmation logique pour une représentation efficace des connaissances.

Un aperçu des processus de définition et des preuves avec Beluga.

Découvre comment la théorie des automates améliore les performances des modèles de langage.

Un cours pratique pour comprendre les systèmes de types en programmation avec Stella.

Une étude sur comment les modèles d'apprentissage automatique comprennent la syntaxe des langages de programmation.

Ce papier regroupe des approches d'itération non déterministe en programmation avec la théorie des catégories.