Now showing items 1-1 of 1
Numeric Analysis of Array Operations
(University of Wisconsin-Madison Department of Computer Sciences, 2004)
We present a numeric analysis that is capable of reasoning about array operations. In particular, the analysis is able to establish that all elements of an array have been initialized ("an array kill"), as well as to ...