most citedIterating Pointers: Enabling Static Analysis for Loop-based Pointers

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2025★ 1 cited

Iterating Pointers: Enabling Static Analysis for Loop-based Pointers

Andrea Lepori, Alexandru Calotoiu, Torsten Hoefler

Pointers are an integral part of C and other programming languages. They enable substantial flexibility from the programmer's standpoint, allowing the user fine, unmediated control…