Articoli più recenti per Linguaggi di programmazione

nelli rende più facile lavorare con MLIR per gli sviluppatori.

Questo articolo parla dei linguaggi regolari e della loro importanza nei sistemi formali.

Una panoramica dei trasduttori ad albero, con un focus sui trasduttori ad albero macro e le loro proprietà chiave.

Uno sguardo ai tipi di riferimento univalenti e alle loro implicazioni per i linguaggi di programmazione.

Introducendo una logica di programmazione per migliorare il ragionamento su software di livello superiore e con stato.

Esaminando i limiti dei LLM nella traduzione del codice e tecniche per migliorare.

Nuovi metodi migliorano la comprensione dei modelli linguistici usati per compiti di codifica.

Un nuovo approccio rende la generazione di regex più chiara e facile da usare.

Le modifiche a MicroPython portano a migliori prestazioni sulle piattaforme CHERI.

Un nuovo metodo combina modelli classici e moderni per una maggiore precisione nella ricerca di codice.

Un metodo sistematico per creare e manipolare la sintassi non ben fondata nei linguaggi di programmazione.

Semplifica l'analisi causale usando Tetrad insieme a Python e R.

SEER automatizza la progettazione hardware efficiente a partire da programmi software di alto livello.

WasmFX offre nuovi strumenti per gli sviluppatori per gestire funzionalità di programmazione avanzate in WebAssembly.

Questo studio mette in evidenza il riutilizzo da parte dei developers Java delle risposte di StackOverflow su GitHub.

Nuovo tokenizer migliora le prestazioni dei modelli linguistici per la programmazione ad alte prestazioni.

Un nuovo approccio migliora i linguaggi di coordinamento basati su dati per prestazioni migliori.

Tau Prolog permette di eseguire codice Prolog senza problemi nei contesti web.

Una proposta per un ABI MPI standard per migliorare la compatibilità tra le varie implementazioni.

Bugsplainer offre spiegazioni chiare sui bug per semplificare lo sviluppo software.

Collegare la difficoltà del vocabolario e la naturalezza del codice per migliorare la comprensione del software.

Questo articolo mette in evidenza gli sforzi per integrare Fortran con strumenti di programmazione FPGA per migliorare le prestazioni.

Uno sguardo agli strumenti che aiutano gli sviluppatori Rust nella gestione delle versioni.

Esplorare l'efficacia di ChatGPT nell'identificare vulnerabilità nel codice Python.

ACER offre un modo efficiente per creare grafi delle chiamate usando alberi di sintassi astratta.

Uno sguardo a come VeriFast migliora la verifica dei programmi C usando sistemi formali.

Questo sistema integra Python e Prolog per una funzionalità senza problemi.

Questo articolo parla del legame tra ProbLog e l'argomentazione nell'informazione incerta.

Questo articolo esamina i benchmark per valutare le lingue che integrano regole logiche.

Uno sguardo all'uso dei tipi di sessione per sicurizzare la comunicazione nei programmi.

Uno studio mostra che i linguaggi di programmazione possono migliorare le prestazioni degli altri nella generazione di codice.

Questo paper esplora l'impatto della logica multiruolo sulle operazioni logiche e sui sistemi di comunicazione.

Uno studio sui code clone rivela spunti chiave per la gestione del software.

Uno sguardo all'aggiornamento dei vecchi linguaggi di programmazione per la tecnologia di oggi.

Questo progetto migliora la risoluzione di problemi di matematica generando codice Prolog da modelli linguistici.

Le grammatiche a precedenza ciclica degli operatori migliorano l'efficienza e la flessibilità del parsing nella programmazione.

Un nuovo metodo per insegnare i concetti di ownership di Rust migliora la comprensione degli studenti.

Questo articolo parla di un nuovo linguaggio di programmazione per rendere più semplice il testing basato sulle proprietà.

Esplorando le difficoltà che i programmatori affrontano con il sistema di trait di Rust e i messaggi di errore.

Questo articolo confronta Llama-2 e GPT-3 nella generazione di codice HPC.