T. A. Lewis

2000
3	EE	D. K. Arvind, T. A. Lewis: Safe Approximation of Data Dependencies in Pointer-Based Structures. LCPC 2000: 304-323
1998
2	EE	D. K. Arvind, T. A. Lewis: Dependency Analysis of Recursive Data Structures Using Automatic Groups. LCPC 1998: 353-366
1997
1		D. K. Arvind, T. A. Lewis: Static Analysis of Recursive Data Structures. LCPC 1997: 423-426

Coauthor Index

1

D. K. Arvind

[1] [2] [3]