1011 search results - page 147 / 203 » Exception Analysis for Java |
AGTIVE
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
IWMM
2000
Springer
14 years 1 months ago
2000
Springer
In a generational garbage collector, a pre-tenured object is one that is allocated directly in the old generation. Pretenuring long-lived objects reduces the number of times that ...
ECLIPSE
2005
ACM
13 years 11 months ago
2005
ACM
In this paper we discuss a pilot user study that compares the use of two integrated development environments (IDEs), Eclipse and Gild, by novice programmers. Gild is a perspective...
ESEM
2008
ACM
13 years 11 months ago
2008
ACM
Complexity is often hypothesized to be the enemy of software security. If this hypothesis is true, complexity metrics may be used to predict the locale of security problems and ca...