Bibtex

Bart Jacobs, Justus Fasse, An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model

@article{JOT:issue_2026_01/a3, author = {<a href="/contents.php?query=Jacobs">Bart Jacobs</a> and <a href="/contents.php?query=Fasse">Justus Fasse</a>}, title = {An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model}, journal = {Journal of Object Technology}, volume = {25}, number = {1}, issn = {1660-1769}, year = {2026}, month = March, editor = {}, note = {ECOOP 2025 Workshops}, pages = {1:1-13}, doi = {10.5381/jot.2026.25.1.a3}, url = {http://www.jot.fm/contents/issue_2026_01/a3.html} }

Back