487 search results - page 6 / 98 » The Java System Dependence Graph |
ESEM
2007
ACM
13 years 11 months ago
2007
ACM
The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...
ICSM
1998
IEEE
13 years 11 months ago
1998
IEEE
UIST
2000
ACM
13 years 11 months ago
2000
ACM
In this paper we investigate the use of scene graphs as a general approach for implementing two-dimensional (2D) graphical applications, and in particular Zoomable User Interfaces...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
The dependency pair framework is a powerful technique for proving termination of rewrite systems. One of the most frequently used methods within the dependency pair framework is t...
FASE
2005
Springer
14 years 26 days ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...