Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,546,282 papers from all fields of science
Search
Sign In
Create Free Account
Control flow graph
Known as:
CFG
, Flow control diagrams
A control flow graph (CFG) in computer science is a representation, using graph notation, of all paths that might be traversed through a program…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract syntax tree
Activity diagram
Adjacency matrix
Basic block
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Path Sensitive Static Defect Detecting Method: Path Sensitive Static Defect Detecting Method
Qing Xiao
,
Yun-Zhan Gong
,
Zhao-Hong Yang
,
Dahai Jin
,
Ya-Wen Wang
2010
Corpus ID: 62724762
2008
2008
EVIDENCE FOR A LINK BETWEEN FE Kα EMISSION LINE STRENGTH AND QPO PHASE IN A BLACK HOLE
M. M. iller
,
J. Oman
2008
Corpus ID: 6738753
In X-ray binaries, the frequencies revealed in X-ray quasiperiodic oscillations (QPOs) are often interpreted as characteristic…
Expand
2008
2008
AJcFgraph - AspectJ Control Flow Graph Builder for Aspect-Oriented Software
R. Parizi
,
A. Ghani
International Computer Science Conference
2008
Corpus ID: 6303773
The ever-growing usage of aspect-oriented development methodology in the field of software engineering requires tool support for…
Expand
2008
2008
Dynamic Search-Based Test Data Generation Focused on Data Flow Paths
A. Sofokleous
,
A. Andreou
International Conference on Enterprise…
2008
Corpus ID: 46467992
A method of placing an article onto a surface in close proximity to an adjacent previously-placed article, comprises gripping the…
Expand
2006
2006
Iteratively defined transfinite trace semantics and program slicing with respect to them
Härmel Nestra
2006
Corpus ID: 122010070
2004
2004
Java bytecode verification with dynamic structures
C. Bernardeschi
,
L. Martini
,
P. Masci
IASTED Conf. on Software Engineering and…
2004
Corpus ID: 12989809
Java applets run on a Virtual Machine that checks code’s integrity and correctness before execution using a module called…
Expand
Review
2002
Review
2002
On Specification Carrying Software, its Refinement and Composition
M. Anlauff
,
Dusko Pavlovic
,
P. Alto
2002
Corpus ID: 16235548
In this paper, we present the framework of evolving specifications (especs), implementing, in the categorical setting of…
Expand
1998
1998
Improving data-flow analysis with path profiles (with retrospective)
Glenn Ammons
,
J. Larus
ACM-SIGPLAN Symposium on Programming Language…
1998
Corpus ID: 209996677
A magnetic fluid transducer for producing a low-frequency sound field in a fluid medium. The device comprises a non-magnetic…
Expand
1995
1995
Formulation and evaluation of scheduling techniques for control flow graphs
M. Rahmouni
,
A. Jerraya
Proceedings of EURO-DAC. European Design…
1995
Corpus ID: 1058047
This paper presents a theoretical basis for scheduling approaches based on purely control-flow graphs. This formulation includes…
Expand
1986
1986
Practical Applications of Precedence Graph Grammars
M. Kaul
Graph-Grammars and Their Application to Computer…
1986
Corpus ID: 6217422
Precedence graph grammars are of major interest in all those applications of graph grammars, where highly efficient parsers are…
Expand