Sciweavers

Share
ECOOP
2011
Springer
7 years 7 months ago
Tunable Static Inference for Generic Universe Types
Object ownership is useful for many applications, including program veriļ¬cation, thread synchronization, and memory management. However, the annotation overhead of ownership type...
Werner Dietl, Michael D. Ernst, Peter Müller
POPL
2011
ACM
7 years 10 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