Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
POPL
2011
ACM
10 years 1 months ago
Blame for all
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, ...
POPL
2011
ACM
10 years 1 months ago
Pick your contexts well: understanding object-sensitivity
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...
Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhot...
POPL
2011
ACM
10 years 1 months ago
Correct blame for contracts: no more scapegoating
Christos Dimoulas, Robert Bruce Findler, Cormac Fl...
POPL
2011
ACM
10 years 1 months ago
Dynamic inference of static types for ruby
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...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
books