58 search results - page 1 / 12 » Call Graph Construction in Object-Oriented Languages |
OOPSLA
1997
Springer
14 years 3 months ago
1997
Springer
IWPC
2000
IEEE
14 years 3 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
FMOODS
2006
14 years 8 days ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
ISORC
1999
IEEE
14 years 3 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
JOT
2010
13 years 9 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...