4716 search results - page 770 / 944 » Iterative-free program analysis |
147
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
150
Voted
JLP
2010
14 years 11 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
143
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
186
click to vote
HIPEAC
2011
Springer
14 years 4 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...
156
Voted
POPL
2012
ACM
14 years 5 days ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...