Checking Linearizability of Encapsulated Extended Operations

DOI10.1007/978-3-642-54833-8_17zbMath1405.68066OpenAlexW49252608MaRDI QIDQ5410707

Mooly Sagiv, Guy Golan-Gueta, G. Ramalingam, Oren Zomer

Publication date: 16 April 2014

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54833-8_17

zbMATH Keywords

verificationextensioncompositionlinearizabilityconcurrencyatomicity

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (1)

Concurrent correctness in vector space

This page was built for publication: Checking Linearizability of Encapsulated Extended Operations