Computerwissenschaften - Programmiersprachen

Ein neuer Ansatz verbessert die symbolische Ausführung in Python mit einem grossen Sprachmodell.

Ein Überblick, wie Qualtran die Entwicklung von Quantenalgorithmen vereinfacht.

Koordinationsfreie kollaborative Replikation macht Gruppenarbeit einfacher, ohne ständig Nachrichten zu schicken.

Eine neue Programmiersprache soll die Leistung beim Training von neuronalen Netzwerken verbessern.

Minuska bietet eine robuste Methode, um verifizierte Dolmetscher aus Sprachen-Definitionen zu erstellen.

Ein Blick darauf, wie Parteien Informationen in der Quantencomputing teilen.

Lerne, wie Fortsetzungen dabei helfen, Quantenberechnungen zu verwalten.

QLMNtal verbessert die Grafikbearbeitung mit leistungsstarken Quantifizierungsfunktionen.

vMocks vereinfacht die formale Verifizierung und verbessert die Sicherheit und Zuverlässigkeit von Software.

Die Bedeutung von Konsistenz im Speicher bei Multi-Thread-Programmierumgebungen erkunden.

Ein Blick auf Typen, Kontexte und Beweise in Programmiersprachen.

Wir stellen einen innovativen Beweisassistenten vor, der die Benutzerinteraktion verbessert.

Neue Methoden zur Verbesserung der Beweisverifizierung in der Softwaretechnik erkunden.

Silq vereinfacht die Quantenprogrammierung mit benutzerfreundlichen Funktionen.

Die Wichtigkeit von Verantwortung in Softwaresystemen, die soziale und rechtliche Ergebnisse beeinflussen, erkunden.

Werkzeuge verbessern, um zu überprüfen, ob Schleifen in Programmen fertig laufen.

Erforschen, wie geschützte Rekursion unendliche Datenstrukturen in der Programmierung verbessert.

Dieses Papier untersucht den Zusammenhang zwischen minimaler intuitionistischer Logik und Call-by-Value-Auswertung in der Programmierung.

Eine Programmiersprache, die sich auf zuverlässige Anwendungsleistung und Speicherverwaltung konzentriert.

Ein Verfahren zur Analyse von aussergewöhnlichem Verhalten in Java-Programmen mit Hilfe von Bytecode.

AutoChip nutzt EDA-Feedback, um die Verilog-Code-Generierung durch LLMs zu verbessern.

Ein Rahmen für sichere und effiziente Code-Generierung vorstellen.

Die Visualisierung von funktionalen Programmen kann den Debugging-Prozess für Programmierer einfacher machen.

Lern, wie Parametrizität das Programmieren beeinflusst und die Herausforderungen mit GADTs.

Untersuchen der Rolle von LLMs bei der Generierung von Softwarespezifikationen zur Verifizierung.

AI mit Dafny kombinieren, um die Softwareverifizierungsprozesse zu vereinfachen.

Erfahre, wie LoopSCC die komplexe Schleifenanalyse vereinfacht, um besser Software zu testen.

Schnelle und langsame Techniken kombinieren für bessere Leistung von Quanten-Schaltungen.

Ein Leitfaden zu schwächsten Vorbedingungen und stärksten Nachbedingungen im Coding.

Verstehen von typisierter Nicht-Determinismus und dessen Auswirkungen auf das Ressourcenmanagement in der Informatik.

Ein neuer Transpiler macht das Programmieren in Javascript einfacher und effizienter.

Lern was über Graphen, ihre Arten und Anwendungen im Alltag.

Ein neues Tool vereinfacht das Hardware-Design, indem es die Nutzung von DSPs optimiert.

Entdecke, wie Randomisierung die Effizienz der gleichzeitigen Programmierung steigern kann.

Ein Blick auf die Rolle der Dirac-Notation bei der Vereinfachung von Quantenideen.

Ein neues Tool zur Überprüfung der Programmgleichheit durch Kontrollflussanalyse.

Ein Blick darauf, wie Nachrichten in der Technologie gesendet und empfangen werden.

Lern, wie man Programmierung mit Arrays und Funktionen effektiv optimiert.

Ein Blick auf verbessertes Datalog für besseres Datenmanagement.

Ein Blick auf Kleene-Algebra mit Tests und ihre Herausforderungen bei deterministischen Aufgaben.