66 search results - page 14 / 14 » Strong Normalization and Equi-(Co)Inductive Types |
PLDI
2004
ACM
14 years 29 days 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...