4722 search results - page 46 / 945 » Representation-independent program analysis |
89
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
87
Voted
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
98
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
140
Voted
AGP
1996
IEEE
15 years 7 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
160
Voted
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...