Heap Decomposition for Concurrent Shape Analysis R. Manevich1,⋆ , T. Lev-Ami1,⋆⋆ , M. Sagiv1 , G. Ramalingam2 , and J. Berdine3 1 Tel Aviv University, {rumster,msagiv,tla 2 - Post University - Document - PDFSEARCH.IO

First Page	Meta Content
	Heap Decomposition for Concurrent Shape Analysis R. Manevich1,⋆ , T. Lev-Ami1,⋆⋆ , M. Sagiv1 , G. Ramalingam2 , and J. Berdine3 1 Tel Aviv University, {rumster,msagiv,tla}@post.tau.ac.il 2 Add to Reading List Document Date: 2008-11-24 21:01:03 Open Document File Size: 149,52 KB Share Result on Facebook

Heap Decomposition for Concurrent Shape Analysis R. Manevich1,⋆ , T. Lev-Ami1,⋆⋆ , M. Sagiv1 , G. Ramalingam2 , and J. Berdine3 1 Tel Aviv University, {rumster,msagiv,tla}@post.tau.ac.il 2Add to Reading List