Searching for "Symbolic bounds analysis of pointers, array indices, and accessed memory regions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
by Radu Rugina, Martin Rinard — 2000 — PLDI 2000
…Abstract Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions…
Cited by 84 (12 self) – Add To MetaCart

Static Analysis of Memory Accesses in Multithreaded and Recursive Programs
by Radu Rugina, Radu Rugina — 1990
… SELECTED PUBLICATIONS Radu Rugina and Martin Rinard. Symbolic Bounds Analysis of Pointers, Array Indices…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB