651 search results - page 46 / 131 » Precise Analysis of Java Programs Using JOANA |
132
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
113
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This paper introduces dynamic object colocation, an optimization to reduce copying costs in generational and other incremental garbage collectors by allocating connected objects t...
124
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
101
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
136
click to vote
SPC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...