Computerwissenschaften - Programmiersprachen

Erforschen, wie IR statische Analyse-Tools und Softwarequalität verbessert.

GeckoGraph macht das Verstehen von polymorphen Typen durch visuelle Darstellung einfacher.

Goanna verbessert die Fehlermeldung und das Debugging für Haskell-Programmierer.

Neue Techniken verbessern das neidfreie Kuchenschneiden unter mehreren Teilnehmern.

Forschung zeigt, dass die effektive Nutzung von Hochsprachen für grosse Integer-Operationen auf GPUs funktioniert.

Qwerty macht Quantenprogrammierung für Entwickler zugänglicher und effizienter.

Die Innopolis Universität leitet die Forschung zu Identifikatoren in Programmiersprachen.

Ein neuer Algorithmus verbessert die Codeverfeinerung mit LLMs effizienter.

Erforschen, wie Parametrizität und Kohäsion zuverlässige Typsysteme formen.

Ein praktischer Ansatz zur Analyse der Kosten von Datenstrukturen über die Zeit.

AbstractBeam verbessert die Programmsynthese und nutzt effiziente Codegenerierung durch Library Learning.

Erforsche, wie Computerprogramme automatisch erstellt werden können, um bestimmten Anforderungen gerecht zu werden.

Dieser Artikel untersucht, wie die Anordnung von Daten die Geschwindigkeit und Effizienz von Programmen beeinflusst.

Ein neuer Ansatz, um die Array-Leistung in der Programmierung zu verbessern.

Entdecke, wie logisches Programmieren dieProblemlösung durch Beziehungen und Schlussfolgerungen verwandelt.

Eine Programmiersprache, die die Hardware-Designprozesse vereinfacht.

Ein neuer Ansatz, um die erwarteten Kosten von probabilistischen Programmen mit höherordentlicher Trennlogik zu verstehen.

Forschung zeigt, dass vielfältige Anweisungen die Leistung von Sprachmodellen bei unbekannten Aufgaben verbessern.

Ein neuer Assistent nutzt KI, um das digitale Hardware-Design und die Erstellung von RTL-Code zu optimieren.

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.