Scenario-Based Proofs for Concurrent Objects

Concurrent objects form the foundation of many applications that exploit multicore architectures and their importance has lead to informal correctness arguments, as well as formal proof systems. Correctness arguments (as found in the distributed computing literature) give intuitive descriptions of a...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 8; číslo OOPSLA1; s. 1294 - 1323
Hlavní autoři:	Enea, Constantin, Koskinen, Eric
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 29.04.2024
Témata:	Computing methodologies Concurrent algorithms Formal software verification Logic and verification Program reasoning Software and its engineering Theory of computation concurrent objects commutativity quotient verification linearizability
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!