A Framework to Capture Dynamic Data Structures in Pointer-Based Codes. - Corbera, Francisco; Asenjo, Rafael; Zapata, Emilio L. (IEEE Transactions on Parallel & Distributed Systems, 2004)