Derniers articles pour Langages de programmation

nelli rend le travail avec MLIR plus facile pour les développeurs.

Cet article parle des langages réguliers et de leur importance dans les systèmes formels.

Un aperçu des transducteurs d'arbres, en se concentrant sur les transducteurs d'arbres macro et leurs propriétés clés.

Un aperçu des types de référence univalents et de leurs implications pour les langages de programmation.

Présentation d'une logique de programme pour améliorer le raisonnement pour des logiciels d'état de niveau supérieur.

Examiner les limites des LLMs dans la traduction de code et des techniques pour s'améliorer.

De nouvelles méthodes améliorent la compréhension des modèles de langage utilisés pour les tâches de codage.

Une nouvelle approche rend la génération de regex plus claire et plus facile à utiliser.

Des ajustements à MicroPython améliorent les performances sur les plateformes CHERI.

Une nouvelle méthode combine des modèles classiques et modernes pour une meilleure précision dans la recherche de code.

Une méthode systématique pour créer et manipuler une syntaxe non fondée en programmation.

Simplifie l'analyse causale avec Tetrad, Python et R.

SEER automatise la conception matérielle efficace à partir de programmes logiciels de haut niveau.

WasmFX offre de nouveaux outils aux développeurs pour gérer des fonctionnalités de programmation avancées dans WebAssembly.

Cette étude met en avant la réutilisation par les développeurs Java des réponses de StackOverflow sur GitHub.

Nouveau tokenizer améliore la performance des modèles de langue pour la programmation en calcul haute performance.

Une nouvelle approche améliore les langages de coordination basés sur les données pour de meilleures performances.

Tau Prolog permet d'exécuter du code Prolog sans problème dans des environnements web.

Une proposition pour un ABI MPI standard afin d'améliorer la compatibilité entre les implementations.

Bugsplainer propose des explications claires sur les bugs pour simplifier le développement logiciel.

Lier la difficulté du vocabulaire et la naturalité du code pour améliorer la compréhension des logiciels.

Cet article met en avant les efforts pour intégrer Fortran avec des outils de programmation FPGA pour de meilleures performances.

Un aperçu des outils qui aident les développeurs Rust à gérer les versions.

Explorer l'efficacité de ChatGPT pour identifier les vulnérabilités dans le code Python.

ACER propose un moyen efficace de créer des graphes d'appel en utilisant des arbres de syntaxe abstraite.

Un aperçu de comment VeriFast améliore la vérification des programmes C en utilisant des systèmes formels.

Ce système intègre Python et Prolog pour une fonctionnalité sans accroc.

Cet article parle du lien entre ProbLog et l'argumentation dans les infos incertaines.

Cet article passe en revue des critères d'évaluation pour les langages qui intègrent des règles logiques.

Un aperçu de l'utilisation des types de session pour sécuriser la communication entre programmes.

Une étude montre que les langages de programmation peuvent améliorer les performances des uns des autres en génération de code.

Ce papier explore l'impact de la logique multirôle sur les opérations logiques et les systèmes de communication.

Une étude sur les clones de code révèle des infos clés pour la gestion des logiciels.

Un aperçu de la mise à jour des vieux langages de programmation pour la technologie d'aujourd'hui.

Ce projet améliore la résolution de problèmes de maths en générant du code Prolog à partir de modèles de langage.

Les grammaires de priorité d'opérateurs cycliques améliorent l'efficacité et la flexibilité du parsing en programmation.

Une nouvelle méthode pour enseigner les concepts de propriété de Rust améliore la compréhension des apprenants.

Cet article parle d'un nouveau langage de programmation pour rendre les tests basés sur des propriétés plus faciles.

Explorer les galères que rencontrent les devs avec le système de traits de Rust et ses messages d'erreur.

Cet article compare Llama-2 et GPT-3 dans la génération de code HPC.