5 search results - page 1 / 1 » Simple verification technique for complex Java bytecode subr... |
67
Voted
CONCURRENCY
2004
14 years 10 months ago
2004
86
Voted
ECOOP
2008
Springer
15 years 18 days ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
109
Voted
CADE
2009
Springer
15 years 11 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
100
click to vote
POPL
1999
ACM
15 years 3 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...