Pointer life cycle types for lock-free data structures with memory reclamation

Roland Meyer 0001, Sebastian Wolff. Pointer life cycle types for lock-free data structures with memory reclamation. Proceedings of the ACM on Programming Languages, 4(POPL), 2020. [doi]

Abstract

Abstract is missing.