36 search results - page 8 / 8 » Global Exponential Stabilizability for Distributed Manipulat... |
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...