1210 search results - page 62 / 242 » Formal Techniques for Java Programs |
140
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
124
click to vote
WCRE
2006
IEEE
15 years 8 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
122
click to vote
WSC
2004
15 years 3 months ago
2004
Building computational models of real world systems usually requires the interaction of decision modules and simulation modules. Given different models and algorithms, the major h...
163
click to vote
HIPEAC
2011
Springer
14 years 2 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...