Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,034,045 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
,
Yunzhan Gong
,
Zhaohong Yang
,
Dahai Jin
,
Yawen 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
2007
2007
An Interprocedural Aspect Control Flow Graph to Support the Maintenance of Aspect Oriented Systems
M. Bernardi
,
G. D. Lucca
International Conference on Smart Multimedia
2007
Corpus ID: 14449965
Aspect oriented programming (AOP) supports the cross-cutting of concerns by means of aspects. The maintenance of AO systems may…
Expand
2006
2006
Iteratively defined transfinite trace semantics and program slicing with respect to them
Härmel Nestra
2006
Corpus ID: 122010070
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
2001
2001
On-line error detection techniques for dependable embedded processors with high complexity
M. Pflanz
,
K. Walther
,
H. Vierhaus
Proceedings Seventh International On-Line Testing…
2001
Corpus ID: 206500513
Presents efficient techniques for concurrent error detection of processor components. It deals with concurrent check methods for…
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
Maher K. 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