616 search results - page 124 / 124 » Bounded Model Checking with Description Logic Reasoning |
125
Voted
POPL
2011
ACM
14 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...