326 search results - page 6 / 66 » Interprocedural Control Flow Analysis |
125
Voted
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
121
Voted
RTSS
2000
IEEE
15 years 8 months ago
2000
IEEE
159
click to vote
CC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
134
Voted
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
150
Voted
ADAEUROPE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...