Inferring Method Effect Summaries for Nested Heap Regions
Conference Proceeding
Overview
publication date
- November 16, 2009
has restriction
- green
Date in CU Experts
- November 16, 2020 1:27 AM
Full Author List
- Vakilian M; Dig D; Bocchino R; Overbey J; Adve V; Johnson R
author count
- 6