Degrees of Separation: A Flexible Type System for Safe Concurrency

Data races have long been a notorious problem in concurrent programming. They are hard to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress has been made in this area, and these type sy...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 8; číslo OOPSLA1; s. 1181 - 1207
Hlavní autoři:	Xu, Yichen, Boruch-Gruszecki, Aleksander, Odersky, Martin
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 29.04.2024
Témata:	Concurrent programming structures Software and its engineering Theory of computation Type structures capture checking safe concurrency data race freedom Scala type systems
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!