42 search results - page 9 / 9 » Region inference for an object-oriented language |
MSR
2006
ACM
13 years 11 months ago
2006
ACM
The development of libre (free/open source) software is usually performed by geographically distributed teams. Participation in most cases is voluntary, sometimes sporadic, and of...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...