651 search results - page 82 / 131 » Precise Analysis of Java Programs Using JOANA |
159
click to vote
VEE
2005
ACM
15 years 8 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
126
click to vote
CGO
2007
IEEE
15 years 8 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
159
click to vote
IEEEPACT
2007
IEEE
15 years 8 months ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
104
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
108
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...