Derniers articles pour Langages de programmation

Un nouveau système améliore la surveillance des applications WebAssembly sans impacter la performance.

Présentation d'un langage de programmation pour améliorer la prise de décision et l'exécution des tâches par les robots.

Un nouvel allocateur de mémoire offre une sécurité et des performances améliorées pour le développement logiciel.

Explore des catégories enrichies et leur impact sur les mathématiques et l'informatique.

Examen des méthodes PEFT dans les LLM pour la génération de code et le résumé en R.

Un cadre simplifie les optimisations de peephole pour de meilleures performances dans les applis Java.

Un nouveau cadre simplifie les tests des compilateurs JIT en générant des cas de test automatiques.

Une nouvelle méthode pour garantir la fiabilité et la clarté des regex en JavaScript.

Découvre les bases et l'importance de la théorie des types dépendants en informatique.

Apprends comment SSR améliore la gestion des preuves dans Lean 4.

Améliorer l'efficacité dans Datalog grâce aux sémirings et aux techniques de grounding.

Les logiques différentiables améliorent l'apprentissage machine grâce à de meilleures techniques de vérification formelle et d'entraînement.

Explorer comment l'IA impacte le développement logiciel et les pratiques de codage.

Gillian-Rust propose une nouvelle façon de vérifier efficacement le code Rust dangereux.

Une étude met en avant l'impact de la contamination des données sur les évaluations des modèles de code.

Un cadre pour générer des dépôts de code en utilisant des exigences linguistiques simples.

Une nouvelle méthode pour confirmer l'intégrité SQL basée sur des règles OCL.

Un aperçu du rôle d'OPDL dans le raisonnement sur les programmes concurrentiels.

Apprends comment les LLM peuvent rendre la programmation en C plus sûre et plus efficace.

Une étude sur l'utilisation de code non sécurisé par les développeurs en Rust.

Un nouveau cadre vise à améliorer l'interopérabilité et l'efficacité des DSL dans le HPC.

Examiner les implications de sécurité du code généré par l'IA en utilisant des API de sécurité.

Une nouvelle méthode renforce la confiance dans la vérification automatique des programmes.

Une nouvelle approche pour simplifier les calculs efficaces dans les langages de programmation.

Cet article présente une méthode efficace de comparaison d'arbres utilisant la résolution SAT.

Un guide pour enseigner la sémantique des langages de programmation en utilisant des ensembles et des relations.

Découvre WebPie, un langage simple qui utilise des types dépendants pour une programmation sécurisée.

Un aperçu de comment différentes stratégies d'évaluation impactent la signification de la programmation.

Un aperçu de comment les LLM résument le code et des facteurs qui affectent leur performance.

Cette recherche examine l'utilisation du flux d'infos pour repérer d'éventuels conflits de code.

Une nouvelle méthode pour confirmer la fin d'un programme dans des environnements probabilistes complexes.

Un système pour simplifier l'utilisation d'OWL dans la programmation orientée objet.

Un coup d'œil sur de nouvelles méthodes pour optimiser la performance du code IA.

Cette étude examine les problèmes de qualité dans les invites pour les modèles de génération de code.

Utiliser des LLMs pour améliorer l'efficacité des tests de mutation et la qualité des logiciels.

3DGen utilise l'IA pour transformer des descriptions de données informelles en code sécurisé.

AID utilise des LLMs et des tests différentiels pour améliorer la détection de bugs dans les logiciels.

Apprends comment le comportement indéfini affecte les bibliothèques Rust en utilisant des fonctions étrangères.

Évaluer des modèles d'IA accessibles pour générer du code Python avec du matériel standard.

Cette recherche se concentre sur un nouveau type de système qui combine des stratégies d'évaluation dans les langages de programmation.