Informatica - Linguaggi di programmazione

Ecco un linguaggio di programmazione che semplifica i processi di design dell'hardware.

Un nuovo approccio per capire i costi attesi dei programmi probabilistici usando la logica di separazione di ordine superiore.

La ricerca mostra che istruzioni diverse migliorano le prestazioni del modello di linguaggio in compiti mai visti prima.

Un nuovo assistente usa l'IA per semplificare il design dell'hardware digitale e la creazione di codice RTL.

I ricercatori migliorano i sistemi di sintesi dei programmi per capire meglio le esigenze degli utenti.

Questo studio valuta le prestazioni dei LCGMs nei compiti di codifica in inglese e cinese.

Un nuovo metodo aiuta i programmatori a verificare le unità nel software scientifico.

Un nuovo metodo migliora la generazione di codice per linguaggi di programmazione specializzati.

Esplorare come l'IA facilita la conversione di codice tra i linguaggi di programmazione.

Una nuova metrica per valutare quanto sia difficile compilare i linguaggi di programmazione.

Scopri come il debugging reversibile migliora il tracciamento degli errori nella programmazione Erlang.

Un nuovo benchmark per valutare i LLM per i compiti di programmazione in Java.

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.