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á bibliografia

Vydané v:	Proceedings of ACM on programming languages Ročník 6; číslo POPL; s. 1 - 29
Hlavní autori:	Raad, Azalea, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	01.01.2022
ISSN:	2475-1421, 2475-1421
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!