Informatica - Linguaggi di programmazione

Un nuovo metodo migliora i modelli di linguaggio del codice tramite casi di test efficaci e apprendimento delle preferenze.

MARVeLus collega la verifica e l'implementazione per sistemi ciber-fisici più sicuri.

Un nuovo strumento migliora la gestione del software in tempo reale per risposte immediate.

DafnyBench fa il benchmark degli strumenti di verifica del software, aprendo la strada a una programmazione affidabile.

Uno sguardo a come i LLM affrontano le sfide di programmazione per esempio.

Un approccio bilingue migliora la correttezza mantenendo la velocità nella programmazione.

Un nuovo tipo di sistema migliora l'analisi degli errori di arrotondamento per i calcoli numerici.

Esplora come l'ordine dei modelli migliora i layout dei diagrammi e cattura l'intento dell'utente.

Questo articolo esplora metodi per calcolare l'energia dello stato fondamentale usando la programmazione quantistica.

APPL semplifica lo sviluppo con modelli di linguaggio grandi usando una sintassi intuitiva, simile a Python.

Nuovi metodi migliorano l'efficienza dell'uncomputazione nei complessi programmi quantistici.

Scopri come la programmazione probabilistica aiuta ad analizzare l'incertezza nei dati.

Un nuovo approccio modulare migliora l'inferenza variazionale nei linguaggi di programmazione probabilistici.

INDICT migliora la sicurezza del codice e la sua utilità utilizzando un'analisi a doppia critica.

Migliorare le prestazioni della programmazione logica analizzando la condivisione delle variabili e la linearità.

Uno sguardo sulle algebre uniformi e il loro ruolo in Prolog e nella programmazione logica.

Una guida alla programmazione con i tipi, esempi e realizzabilità.

I nuovi modelli migliorano l'efficienza del codice software e le prestazioni del compilatore.

Un nuovo framework migliora l'affidabilità nei sistemi di comunicazione asincrona attraverso la gestione del tempo.

Un nuovo approccio ottimizza le prestazioni del kernel utilizzando Ansor e Droplet Search.

Uno strumento per verificare i protocolli di comunicazione nelle app Clojure.

Un framework per la verifica formale di algoritmi obliosi per proteggere i dati sensibili.

LASSI aiuta a tradurre programmi informatici per un calcolo scientifico efficiente.

Uno sguardo ai tipi equi-recursivi e iso-recursivi nella programmazione.

Una guida al ruolo di Yul nei contratti smart di Ethereum.

Un nuovo strumento migliora il merging di Git analizzando le dipendenze del codice.

Questo documento presenta un framework per la generazione automatizzata di testbench usando LLM.

Qrisp semplifica la programmazione quantistica con strumenti facili da usare e astrazioni di alto livello.

Un nuovo framework garantisce che le ottimizzazioni del compilatore mantengano la correttezza del programma.

Uno sguardo al codice irraggiungibile e al suo impatto sull'efficienza della programmazione.

Nuovi metodi puntano a migliorare le capacità di ragionamento dei modelli linguistici.

Esplorare la programmazione coreografica con effetti algebrici per migliorare lo sviluppo di applicazioni distribuite.

Scopri come gli universi di tipo influenzano l'allocazione della memoria nei linguaggi di programmazione.

Uno sguardo ai framework modulari nello sviluppo di strumenti per l'analisi binaria.

Un nuovo design linguistico punta a migliorare il ragionamento e la chiarezza nello sviluppo software.

Un nuovo modo per migliorare la sicurezza nei protocolli di finanza decentralizzata.

Scopri come i controllori di terminazione aiutano i programmi a completare i loro compiti senza loop infiniti.

Un modo formale per garantire l'affidabilità nei sistemi di dataflow stateful come Apache Flink.

Esplorare l'uso di casi studio per arricchire l'apprendimento dei linguaggi di programmazione.

Unire la programmazione e i metodi tradizionali aiuta a capire meglio la teoria elettromagnetica.