Computerwissenschaften - Programmiersprachen

Diese Studie verbessert Code-Modelle mit Hilfe von Compiler-Zwischendarstellungen für eine bessere mehrsprachige Leistung.

Ein neuer Sprachansatz für klare und effiziente Zugriffsberechtigungen.

Sitzungstypen ermöglichen eine strukturierte Kommunikation zwischen Systemkomponenten für eine bessere Zuverlässigkeit.

Eine Studie zur automatisierten Programmgenerierung mit Realisierbarkeit und Realisierungslogik.

Ein neues System verbessert das Monitoring von WebAssembly-Anwendungen, ohne die Performance zu beeinträchtigen.

Ein neuer Speicher-Allocator bietet verbesserte Sicherheit und Leistung für die Softwareentwicklung.

Ein Framework vereinfacht Peephole-Optimierungen für bessere Leistung in Java-Anwendungen.

Lern, wie Programmierframeworks die differenzielle Privatsphäre für Datenanalyse verbessern.

Eine neue Methode, um die Zuverlässigkeit und Klarheit von JavaScript-Regulären Ausdrücken zu gewährleisten.

Linguacodus übersetzt natürliche Sprache in Computer-Code für maschinelles Lernen.

Entdeck die Grundlagen und die Wichtigkeit der abhängigen Typentheorie in der Berechnung.

Erfahre, wie SSR das Beweismanagement in Lean 4 verbessert.

Lean 4 verbessert die formale Verifikation mit einem externen Verifier für genauere Beweise.

Erforschen, wie KI die Softwareentwicklung und Programmierpraktiken beeinflusst.

Gillian-Rust bietet einen neuen Ansatz, um unsicheren Rust-Code effektiv zu verifizieren.

Ein Blick darauf, wie quantenmässiges Zurückverfolgen das Lösen von komplexen Problemen wie Sudoku verbessert.

Ein Rahmenwerk für Maschinen, um Nutzervorlieben aus visuellen Daten zu lernen.

Ein System von Handles verbessert das Speichermanagement und reduziert die Fragmentierung in unmanaged Sprachen.

Neue Benchmarks zeigen Stärken und Schwächen von Programmiersprachen-Modellen.

Die Zertifizierung von neuronalen Netzwerken sorgt dafür, dass sie in kritischen Anwendungen sicher und zuverlässig sind.

Lern, wie IEEE 1394 zuverlässige Datenübertragung durch seine geschichtete Struktur gewährleistet.

Ein Werkzeug zur Analyse von Speicherproblemen in C-Code.

Eine neue Methode verbessert die Programmkompilierung und erzeugt kleinere Ausgabedateien mithilfe von alten Daten.

Entdecke die Bedeutung von kostenbewusstem Programmieren zur Optimierung des Ressourcenmanagements.

Analyse von Beendigungsproblemen in nichtdeterministischen Quantenprogrammen mithilfe mathematischer Techniken.

Eine Methode, um Datenstrukturen automatisch gegen Repräsentationsinvarianten mit fortgeschrittenen Techniken zu überprüfen.

Lern, wie LLMs helfen können, C-Programmierung sicherer und effizienter zu machen.

Ein neues Modell verbessert die Analyse von WebAssembly-Code durch gemischtes Datenverständnis.

Eine neue Methode verbessert das Vertrauen in die automatisierte Programmverifikation.

Eine neue Methode automatisiert die Analyse von probabilistischen Programmausgaben.

Ein neuer Ansatz, um effektive Berechnungen in Programmiersprachen zu optimieren.

Eine Methode, um Offline-Algorithmen effizient in Online-Entsprechungen umzuwandeln.

Dieses Papier stellt eine effiziente Baum-Diffing-Methode unter Verwendung von SAT-Lösungen vor.

Innovative Ansätze verbessern die Leistung bei spärlichen Tensorberechnungen in verschiedenen Anwendungen.

Ein neuer Ansatz reduziert die Komplexität bei der Überprüfung der Korrektheit von Datenstrukturen.

NetKAT vereinfacht die Erstellung und Überprüfung von Netzwerkregeln für ein effizientes Management.

Die Forschung konzentriert sich darauf, die Verifizierung von neuronalen Netzen mit minimalen NAP-Spezifikationen zu verbessern.

Ein neues Programmiermodell für die effiziente Entwicklung von Hardware-Beschleunigern.

GATlab vereinfacht mathematische Modellierung für Forscher und Ingenieure.

Ein Leitfaden zum Unterrichten der Semantik von Programmiersprachen mit Mengen und Relationen.