492 search results - page 42 / 99 » XML graphs in program analysis |
130
click to vote
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
112
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
106
click to vote
ICSE
1995
IEEE-ACM
15 years 5 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
168
click to vote
FCA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...