Concurrent incorrectness separation logic

Incorrectness separation logic (ISL) was recently introduced as a theory of under-approximate reasoning, with the goal of proving that compositional bug catchers find actual bugs. However, ISL only considers sequential programs. Here, we develop concurrent incorrectness separation logic (CISL), whic...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 6; číslo POPL; s. 1 - 29
Hlavní autoři:	Raad, Azalea, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.01.2022
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!