POPL
2011
ACM
13 years 2 months ago
2011
ACM
POPL
2011
ACM
13 years 2 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
POPL
2011
ACM
13 years 2 months ago
2011
ACM
POPL
2011
ACM
13 years 2 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...