Informatique - Langages de programmation

De nouvelles techniques améliorent la découpe de gâteaux sans jalousie entre plusieurs participants.

Des recherches montrent que l'utilisation efficace des langages de haut niveau pour les opérations sur de grands entiers sur les GPU.

Qwerty rend la programmation quantique plus accessible et efficace pour les développeurs.

L'Université d'Innopolis fait des recherches sur la gestion des identifiants dans les langages de programmation.

Un nouvel algorithme améliore le raffinement du code en utilisant les LLM de manière plus efficace.

Explore comment la parametricité et la cohésion façonnent des systèmes de types fiables.

Une approche pratique pour analyser les coûts des structures de données au fil du temps.

AbstractBeam améliore la synthèse de programmes, en s'appuyant sur une génération de code efficace grâce à l'apprentissage de bibliothèques.

Explore comment des programmes informatiques peuvent être générés automatiquement pour répondre à des besoins spécifiques.

Cet article examine comment l'organisation des données impacte la vitesse et l'efficacité du programme.

Une nouvelle approche pour améliorer la performance des tableaux en programmation.

Découvre comment la programmation logique transforme la résolution de problèmes grâce aux relations et à l'inférence.

Présentation d'un langage de programmation qui simplifie les processus de conception matérielle.

Une nouvelle approche pour comprendre les coûts attendus des programmes probabilistes en utilisant la logique de séparation d'ordre supérieur.

Des recherches montrent que des instructions variées améliorent la performance des modèles de langage sur des tâches inédites.

Un nouvel assistant utilise l'IA pour simplifier la conception de matériel numérique et la création de code RTL.

Les chercheurs améliorent les systèmes de synthèse de programmes pour mieux comprendre les besoins des utilisateurs.

Cette étude évalue la performance des LCGMs sur des tâches de codage en anglais et en chinois.

Une nouvelle méthode aide les programmeurs à vérifier les unités dans les logiciels scientifiques.

Une nouvelle méthode améliore la génération de code pour des langages de programmation spécialisés.

Explorer comment l'IA facilite la conversion de code entre les 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.