Relational thread-modular abstract interpretation under relaxed memory models
From MaRDI portal
Publication:6166139
DOI10.1007/978-3-030-02768-1_6zbMath1519.68053OpenAlexW2897215198MaRDI QIDQ6166139
Thibault Suzanne, Antoine Miné
Publication date: 2 August 2023
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-02768-1_6
Related Items
Improving thread-modular abstract interpretation ⋮ Thread-modular analysis of release-acquire concurrency