Reasoning Challenges of Data Abstraction and Aliasing in Concurrent Programs

Alan Weide. Reasoning Challenges of Data Abstraction and Aliasing in Concurrent Programs. ACM SIGSOFT Software Engineering Notes, 43(3):18, 2018. [doi]

Abstract

Abstract is missing.