Informatique - Langages de programmation

Une nouvelle métrique pour évaluer à quel point c'est difficile de compiler des langages de programmation.

Apprends comment le débogage réversible améliore le suivi des erreurs dans la programmation Erlang.

Un nouveau benchmark pour évaluer les LLMs pour les tâches de programmation Java.

Une nouvelle méthode améliore les modèles de langage de code grâce à des cas de test efficaces et à l'apprentissage des préférences.

MARVeLus vérifie et met en œuvre des systèmes cyber-physiques plus sûrs.

Un nouvel outil améliore la gestion des logiciels en temps réel pour des réponses immédiates.

DafnyBench teste des outils de vérification de logiciels, ouvrant la voie à une programmation fiable.

Un aperçu de comment les LLMs abordent les défis de la programmation par l'exemple.

Une approche bilingue améliore la précision tout en gardant la rapidité en programmation.

Un nouveau système de types améliore l'analyse des erreurs d'arrondi pour les calculs numériques.

Explore comment l'ordre du modèle améliore les mises en page des diagrammes et capture l'intention de l'utilisateur.

Cet article explore des méthodes pour calculer l'énergie de l'état fondamental en utilisant la programmation quantique.

APPL simplifie le développement avec des modèles de langage de grande taille en utilisant une syntaxe intuitive, semblable à Python.

De nouvelles méthodes améliorent l'efficacité de l'incomputabilité dans des programmes quantiques complexes.

Apprends comment la programmation probabiliste aide à analyser l'incertitude dans les données.

Une nouvelle approche modulaire améliore l'inférence variationnelle dans les langages de programmation probabilistes.

INDICT améliore la sécurité du code et son utilité grâce à une analyse à double critique.

Améliorer les performances de la programmation logique en analysant le partage de variables et la linéarité.

Un aperçu des algèbres uniformes et de leur rôle dans Prolog et la programmation logique.

Un guide sur la programmation avec des types, des exemples et la réalisabilité.

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

Un nouveau cadre améliore la fiabilité dans les systèmes de communication asynchrone grâce à la gestion du temps.

Une nouvelle approche optimise les performances des noyaux en utilisant Ansor et Droplet Search.

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

Un cadre pour la vérification formelle des algorithmes obfusqués pour protéger les données sensibles.

LASSI aide à traduire des programmes informatiques pour un calcul scientifique efficace.

Un aperçu des types équi-récursifs et iso-récursifs en programmation.

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

Un nouvel outil améliore la fusion Git en analysant les dépendances de code.

Cet article présente un cadre pour la génération automatisée de bancs d'essai en utilisant des LLM.

Qrisp simplifie la programmation quantique avec des outils faciles à utiliser et des abstractions de haut niveau.

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

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

De nouvelles méthodes visent à améliorer les compétences en raisonnement des modèles de langage.

Explorer la programmation chorégraphique avec des effets algébriques pour améliorer le développement d'applications distribuées.

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

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

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

Une nouvelle approche pour améliorer la sécurité dans les protocoles de finance décentralisée.

Explore comment les vérificateurs de terminaison aident les programmes à accomplir leurs tâches sans boucles infinies.