Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract syntax treeActivity diagramAdjacency matrixBasic block

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Basis path test suite and testing process for WS-BPEL
Web services technology offers a WS-BPEL language for business process execution. The building block of WS-BPEL is those Web… 
2006
2006
Incremental Dynamic Code Generation with Trace Trees
The unit of compilation for traditional just-in-time compilers is the method. We have explored trace-based compilation, in which… 
2003
2003
CHALLENGES IN GETTING ‘FORMAL’ WITH VIRUSES
Researchers in academia and industry are beginning to develop anti-virus technologies founded on formal methods of analysing… 
2002
2002
Tool Support for Improving Test Coverage
Testing is a critical part of the software-engineering process. Coverage tools provide information about which components are… 
2002
2002
Visualization of exception propagation for Java using static analysis
We first present a static analysis based on a set-based framework, which estimates exception propagation paths of Java programs… 
2001
2001
New algorithms for control-flow graph structuring
New algorithms for the structuring of arbitrary control-flow graphs are presented. As they minimize the use of Gotos, these… 
Highly Cited
2000
Highly Cited
2000
Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
Abstract.A program slice consists of the parts of a program that may affect or are affected by the value being computed at the… 
Highly Cited
1998
Highly Cited
1998
Treegion scheduling for wide issue processors
Instruction scheduling is one of the most important phases of compilation for high-performance processors. A compiler typically… 
1995
1995
Design of storage hierarchy in multithreaded architectures
Multithreaded execution models attempt to combine some aspects of dataflow-like execution with von Neumann model execution. Their… 
1991
1991
Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis
It has been widely believed that qualitative analysis guides quantitative analysis, while sufficient study has not been made from… 
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)