64
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
This paper describes a general framework—and its implementation in a tool called EXPLORER–for statically answering a class of interprocedural control flow queries about Java ...
61
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Programmers face much complexity from the co-existence of “native” (Unix-like) and virtual machine (VM) “managed” run-time environments. Rather than having VMs replace Uni...
61
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
71
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Live programming environments are powerful experimental tools that enable programmers to write programs in a trialand-error way thanks to its quick feedback. Since the feedback in...
68
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Building a cost-effective static analyser for real-world programs is still regarded an art. One key contributor to this grim reputation is the difficulty in balancing the cost an...