Back to Results
First PageMeta Content
Primitive types / Computer programming / Hypothesis testing / Pointer / Statistical hypothesis testing / Reference / Null / C / Variable / Software engineering / Data types / Computing


Verifying Dereference Safety via Expanding-Scope Analysis A. Loginov∗ E. Yahav
Add to Reading List

Document Date: 2008-05-21 10:34:30

Open Document

File Size: 307,74 KB

Share Result on Facebook
UPDATE