Articoli più recenti per Linguaggi di programmazione

I LLM migliorano le prestazioni e l'efficienza del software nell'ottimizzazione del codice.

Esplorare come i tipi di dati influenzano la programmazione e la correttezza del codice.

Uno sguardo su come i programmatori interagiscono con GitHub Copilot e le sue funzionalità.

Presentiamo un metodo per creare set di dati sui bug precisi e diversificati per migliorare il software.

Un tool per aiutare i programmatori a capire i messaggi d'errore complessi di Rust.

Un nuovo approccio migliora la navigazione del codice per le specifiche delle lingue software online.

Uno sguardo su come abilitare la preservazione della bisimilarità e il suo impatto sull'analisi dei processi.

CRIL combina reversibilità e concorrenza per una programmazione efficiente.

Il calo della ricerca SOS fa riflettere sul futuro.

Scopri come i tipi di sessione garantiscono comunicazioni sicure nei sistemi software.

Timed Rebeca modella sistemi asincroni con gestione dei messaggi sensibile al tempo.

Un nuovo modo per sistemare gli errori di compilazione con poche modifiche al codice.

Scopri come le varianti di programma possono migliorare la sicurezza di WebAssembly contro le vulnerabilità.

Questo studio esamina quanto bene i modelli di codice comprendono i nomi e l'uso delle API.

Una teoria dei tipi a due livelli collega le dimostrazioni logiche e la programmazione pratica.

Uno studio sulla parallelizzazione delle reti neurali usando il linguaggio di programmazione Go.

Una panoramica delle categorie differenziali cartesiane e della loro rilevanza nella matematica e nella scienza informatica.

Un'analisi di CUDA e SYCL nelle ricerche nei database proteici.

Esplorando nuovi metodi nella teoria dei tipi per migliori pratiche di programmazione.

Scopri un nuovo modo per migliorare l'efficienza di valutazione nel calcolo lambda.

Esplorare nuovi metodi per la sicurezza della comunicazione nei sistemi informatici usando i tipi di sessione.

Una panoramica della strategia esterna nella programmazione a forte chiamata per valore.

I linguaggi di programmazione reversibili aprono la strada a soluzioni informatiche efficienti e alla tecnologia quantistica.

Uno sguardo alle performance di GPT-4 e GPT-3.5 nei compiti di programmazione.

Uno sguardo alle vulnerabilità dei contratti smart e al ruolo dell'analisi degli intervalli.

Esplora modi innovativi per definire e verificare i cicli while in Coq.

Uno studio sul lemma di sostituzione nel calcolo lambda con sostituzioni esplicite.

Uno sguardo al pacchetto lattice-symmetries per la fisica quantistica dei sistemi molti-corpo.

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.