Sciweavers

7 search results - page 2 / 2
» Compact Rich-Functional Binary Relation Representations
Sort
View
PLDI
2004
ACM
13 years 10 months ago
Symbolic pointer analysis revisited
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
Jianwen Zhu, Silvian Calman
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 1 months ago
Symbolic pointer analysis
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
Jianwen Zhu