66 search results - page 14 / 14 » Strong Normalization and Equi-(Co)Inductive Types |
PLDI
2004
ACM
13 years 11 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...