Compositional Pointer and Escape Analysis for Multithreaded Java Programs

Bibliographic Details
Main Authors: Rinard, Martin, Whaley, John
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149905