Articoli più recenti per Linguaggi di programmazione

Esplorare soluzioni per l'estensione dei tipi di dati e la gestione delle funzioni nella programmazione.

Questo studio mette in evidenza l'efficacia di CodeT5 nel suggerire modifiche minime al codice per risolvere i bug.

T5APR migliora la risoluzione dei bug in diversi linguaggi di programmazione usando tecniche avanzate di machine learning.

Esplorando tecniche di prova per valutare funzioni nei linguaggi di programmazione.

La ricerca esamina le vulnerabilità e il processo di patch nello sviluppo in Golang.

Un nuovo metodo migliora il completamento del codice integrando informazioni API specifiche del progetto.

Un nuovo algoritmo migliora le capacità di ragionamento in DatalogMTL per dataset complessi.

WebAssembly aumenta la velocità delle app web ma solleva preoccupazioni per la sicurezza.

Indagare le differenze tra il codice scritto da umani e quello generato da macchine per avere metodi di rilevamento migliori.

Le lingue dirette giocano un ruolo fondamentale nella scienza informatica e nella teoria del linguaggio.

Uno sguardo ai vincoli delle stringhe e alla loro importanza nei sistemi software.

Esaminando gli effetti della duplicazione di codice tra dataset sulle metriche di prestazione del modello.

Gli sviluppatori apprezzano la documentazione, ma spesso saltano i commenti nelle intestazioni delle funzioni.

Introducendo un linguaggio per migliorare la sicurezza del computing riservato nel cloud.

RichWasm offre una soluzione per la condivisione sicura della memoria tra diversi linguaggi di programmazione.

Uno sguardo alla semantica iniziale e al suo ruolo nei linguaggi di programmazione con variabili.

Esaminando i fattori che portano a scarsa produzione nei progetti open source.

Un'esplorazione di funzionali di ordine superiore efficienti e delle loro implicazioni nel calcolo.

Uno sguardo a come il significato influisce sulla progettazione e valutazione dei linguaggi di programmazione.

Esaminando le sfide che i modelli transformer affrontano nell'apprendere la ricorsione strutturale.

Scopri il ruolo dei tipi di intersezione monadici nel migliorare i sistemi di tipi dei linguaggi di programmazione.

Esaminando i metodi di insegnamento per migliorare l'apprendimento attraverso varie rappresentazioni.

Uno studio sui ruoli degli sviluppatori pagati e dei volontari nei progetti Rust.

Scopri come gli strumenti di analisi statica come C Analyzer migliorano l'affidabilità del software.

Un nuovo modello supporta una comunicazione efficiente nella programmazione coreografica.

Introducendo un framework per rappresentazioni grafiche personalizzabili nell'analisi del codice.

Combinare LLM e verifica formale per migliorare l'accuratezza e l'efficienza nella programmazione.

Questo studio propone nuovi zuccheri sintattici basati su veri schemi di codifica in Java.

Un nuovo framework per capire i costi nella programmazione funzionale probabilistica.

Un nuovo metodo migliora la comprensione del codice grazie a dati estesi e tecniche di addestramento.

Uno sguardo alla logica adjunta e alle sue applicazioni nella programmazione e nel calcolo.

Un nuovo dataset e modello per migliorare il machine learning nei teoremi formali usando Agda.

Un dataset per migliorare l'accuratezza della generazione dei test unitari usando modelli di linguaggio grandi.

Scopri come la Programmazione a Grafo di Oggetti semplifica la gestione dei dati nello sviluppo software.

Un nuovo strumento punta a semplificare la conversione dei modelli Redex in Coq.

Questo articolo spiega le basi della semantica dei programmi e i suoi concetti chiave.

Questo articolo parla del ruolo del nondeterminismo limitato nella gestione del comportamento dei programmi.

Un nuovo fuzzer migliora la scoperta di bug nel complesso codice di LLVM.

Esplorare il legame tra funzioni e tipi nel calcolo lambda affino.

Un nuovo strumento usa modelli linguistici per automatizzare in modo efficiente le modifiche di codice ripetitive.