Der Artikel präsentiert einen neuartigen Ansatz für typisierte Datenströme, der über die traditionelle homogene Sichtweise hinausgeht. Die Autoren führen Datenströmungstypen ein, die komplexe sequenzielle Muster und parallele Strukturen präzise beschreiben können. Darauf aufbauend entwickeln sie den Kalküle 휆ST, der deterministische Datenverarbeitung ermöglicht, selbst wenn Eingaben aus mehreren parallelen Quellen kommen.
Die Kernidee ist, Datenströme als Produkte von sequenziellen und parallelen Teilströmen zu modellieren. Dies wird inspiriert durch Konzepte aus der Logik der Getrennten Implikation (BI). Der Kalküle 휆ST nutzt diese Produktstruktur, um einen inkrementellen, präfixbasierten Operationssemantik zu definieren, die deterministische Verarbeitung garantiert.
Zentrale Eigenschaften von 휆ST sind:
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Joseph W. Cu... a las arxiv.org 04-04-2024
https://arxiv.org/pdf/2307.09553.pdfConsultas más profundas