Pipelines and Beyond: Graph Types for ADTs with Futures

Parallel programs are frequently modeled as dependency or cost graphs, which can be used to detect various bugs, or simply to visualize the parallel structure of the code. However, such graphs reflect just one particular execution and are typically constructed in a post-hoc manner. Graph types, whic...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2024-01, Vol.8 (POPL), p.482-511, Article 17
Hauptverfasser:	Rinaldi, Francis, wunder, june, Azevedo de Amorim, Arthur, Muller, Stefan K.
Format:	Artikel
Sprache:	eng
Schlagworte:	Automated static analysis Linear logic Parallel programming languages Software and its engineering Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!