Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,370,735 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
Diagnostic flow metering using ultrasound tomography
S. Chun
,
B. Yoon
,
Kwang-Bock Lee
2010
Corpus ID: 55102512
For an accurate flow metering without considering the influences of flow control devices such as valves and elbows in closed…
Expand
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. 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
Basis path test suite and testing process for WS-BPEL
Theerapong Lertphumpanya
,
T. Senivongse
2008
Corpus ID: 20207333
Web services technology offers a WS-BPEL language for business process execution. The building block of WS-BPEL is those Web…
Expand
2006
2006
Incremental Dynamic Code Generation with Trace Trees
A. Gal
,
M. Franz
2006
Corpus ID: 9352256
The unit of compilation for traditional just-in-time compilers is the method. We have explored trace-based compilation, in which…
Expand
2003
2003
CHALLENGES IN GETTING ‘FORMAL’ WITH VIRUSES
Arun Lakhotia
,
Prabhat K. Singh
2003
Corpus ID: 16734430
Researchers in academia and industry are beginning to develop anti-virus technologies founded on formal methods of analysing…
Expand
2002
2002
Tool Support for Improving Test Coverage
Susan Horwitz
European Symposium on Programming
2002
Corpus ID: 9291231
Testing is a critical part of the software-engineering process. Coverage tools provide information about which components are…
Expand
2002
2002
Visualization of exception propagation for Java using static analysis
Byeong-Mo Chang
,
Jang-Wu Jo
,
Soon Hee Her
Proceedings. Second IEEE International Workshop…
2002
Corpus ID: 14091515
We first present a static analysis based on a set-based framework, which estimates exception propagation paths of Java programs…
Expand
1991
1991
Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis
T. Nishida
,
Kenji Mizutani
,
A. Kubota
,
S. Doshita
AAAI Conference on Artificial Intelligence
1991
Corpus ID: 41469545
It has been widely believed that qualitative analysis guides quantitative analysis, while sufficient study has not been made from…
Expand
1980
1980
Flow separation on a β-plane
L. Merkine
Journal of Fluid Mechanics
1980
Corpus ID: 121115418
Boundary-layer structure of prograde and retrograde rotating flows past a cylinder on a β-plane is investigated. It is found that…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE