Informatica - Linguaggi di programmazione

Una panoramica del Calcolo Macchine Relazionale e delle sue caratteristiche principali.

Questo documento presenta un nuovo dominio sub-poliedrico per ottimizzare i compilatori di machine learning.

Questo articolo parla della verifica delle skiplists senza blocchi nei sistemi concorrenti.

Questo documento parla di come proteggere i contratti intelligenti attraverso un sistema di tipi focalizzato sull'integrità.

Esplorare come l'IR migliora gli strumenti di analisi statica e la qualità del software.

GeckoGraph rende più facile capire i tipi polimorfici grazie a una rappresentazione visiva.

Goanna migliora il reporting degli errori e il debugging per i programmatori Haskell.

Nuove tecniche migliorano il taglio della torta senza invidia tra più partecipanti.

La ricerca mostra che usare linguaggi di alto livello è efficace per operazioni con interi grandi sulle GPU.

Qwerty rende la programmazione quantistica più accessibile ed efficiente per gli sviluppatori.

L'Università di Innopolis si occupa di ricerca su come gestire gli identificatori nei linguaggi di programmazione.

Un nuovo algoritmo migliora il perfezionamento del codice usando gli LLM in modo più efficiente.

Esplora come la parametricità e la coesione influenzano i sistemi di tipi affidabili.

Un approccio pratico per analizzare i costi nelle strutture dati nel tempo.

AbstractBeam migliora la sintesi dei programmi, sfruttando la generazione di codice efficiente grazie all'Apprendimento delle Librerie.

Esplora come i programmi per computer possano essere generati automaticamente per soddisfare requisiti specifici.

Quest'articolo esamina come l'organizzazione dei dati influisce sulla velocità e sull'efficienza dei programmi.

Un nuovo approccio per migliorare le prestazioni degli array nella programmazione.

Scopri come la programmazione logica trasforma la risoluzione dei problemi attraverso relazioni e inferenze.

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.