Computerwissenschaften - Programmiersprachen

Forscher verbessern Programmsynthesesysteme, um die Bedürfnisse der Nutzer besser zu verstehen.

Diese Studie bewertet die Leistung von LCGMs bei Kodierungsaufgaben in Englisch und Chinesisch.

Eine neue Methode hilft Programmierern dabei, Einheiten in wissenschaftlicher Software zu überprüfen.

Eine neue Methode verbessert die Codegenerierung für spezialisierte Programmiersprachen.

Erforschen, wie KI die Code-Konvertierung zwischen Programmiersprachen erleichtert.

Eine neue Metrik, um zu messen, wie schwierig es ist, Programmiersprachen zu kompilieren.

Lern, wie reversibles Debugging das Fehlersuchen in der Erlang-Programmierung verbessert.

Ein neuer Massstab, um LLMs für Java-Programmieraufgaben zu bewerten.

Eine neue Methode verbessert Code-Sprachmodelle durch effektive Testfälle und Präferenzlernen.

MARVeLus verbindet Verifizierung und Implementierung für sicherere cyber-physikalische Systeme.

Ein neues Tool verbessert das Management von Echtzeitsoftware für sofortige Reaktionen.

DafnyBench benchmarkt Software-Überprüfungstools und ebnet den Weg für zuverlässiges Programmieren.

Ein Blick darauf, wie LLMs programmieren durch Beispiele angehen.

Ein zweisprachiger Ansatz verbessert die Korrektheit, während er die Geschwindigkeit beim Programmieren beibehält.

Ein neues Typsystem verbessert die Analyse von Rundungsfehlern bei numerischen Berechnungen.

Erkunde, wie die Modellreihenfolge Diagrammlayouts verbessert und die Nutzerabsicht einfängt.

Dieser Artikel untersucht Methoden zur Berechnung der Grundzustandsenergie mit Quantenprogrammierung.

APPL vereinfacht die Entwicklung mit grossen Sprachmodellen und nutzt eine intuitive, pythonähnliche Syntax.

Neue Methoden verbessern die Effizienz der Uncomputierung in komplexen Quantenprogrammen.

Lern, wie probabilistisches Programmieren hilft, Unsicherheiten in Daten zu analysieren.

Ein neuer modularer Ansatz verbessert die variationale Inferenz in probabilistischen Programmiersprachen.

INDICT verbessert die Codesicherheit und -hilfsbereitschaft durch doppelte Kritik-Analyse.

Die Verbesserung der Leistung von logischen Programmen durch die Analyse von Variablenüberlappung und Linearität.

Ein Blick auf uniforme Algebren und ihre Rolle in Prolog und logischer Programmierung.

Ein Leitfaden zur Programmierung mit Typen, Beispielen und Realisierbarkeit.

Neue Modelle verbessern die Effizienz von Softwarecode und die Leistung von Compilern.

Ein neues Framework verbessert die Zuverlässigkeit in asynchronen Kommunikationssystemen durch Zeitmanagement.

Ein neuer Ansatz optimiert die Kernelleistung unter Verwendung von Ansor und Droplet Search.

Ein Werkzeug zum Überprüfen von Kommunikationsprotokollen in Clojure-Apps.

Ein Rahmenwerk für die formale Verifizierung von oblivious Algorithmen zum Schutz sensibler Daten.

LASSI hilft dabei, Computerprogramme für effizientes wissenschaftliches Rechnen zu übersetzen.

Ein Blick auf äqui-rekursives und iso-rekursives Typen in der Programmierung.

Ein Leitfaden zu Yuls Rolle in Ethereum Smart Contracts.

Ein neues Tool verbessert Git-Merges, indem es Codeabhängigkeiten analysiert.

Dieses Papier stellt ein Framework zur automatisierten Testbench-Generierung mit LLMs vor.

Qrisp vereinfacht das Quantenprogrammieren mit benutzerfreundlichen Tools und hochgradigen Abstraktionen.

Ein neues Framework sorgt dafür, dass Compiler-Optimierungen die Programmkorrektheit beibehalten.

Ein Blick auf unerreichbaren Code und seinen Einfluss auf die Programmier-Effizienz.

Neue Methoden sollen die Denkfähigkeiten von Sprachmodellen verbessern.

Die Erkundung von choreografischer Programmierung mit algebraischen Effekten zur Verbesserung der Entwicklung verteilter Anwendungen.