Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 240,878,979 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
2010
2010
Interpretation of Flow Dimensions from Constant Pressure Injection Test
A. Kuusela-Lahtinen
,
A. Poteri
2010
Corpus ID: 131196152
This report deals with interpretation methods of single-hole hydraulic tests. A special emphasis is on new analysis methods of a…
Expand
2006
2006
Iteratively defined transfinite trace semantics and program slicing with respect to them
Härmel Nestra
2006
Corpus ID: 122010070
2006
2006
Modification of empirical formula for bearing capacity of CFG pile composite foundation and its application
Chang-Ren Chen
2006
Corpus ID: 111957085
An analysis was made of the interaction between piles and soil of CFG pile composite foundation under actions of horizontal loads…
Expand
Review
2005
Review
2005
Decreasing End-to-End Job Execution Times by Increasing Resource Utilization using Predictive Scheduling in the Grid
I. Raicu
2005
Corpus ID: 10744271
The Grid has the potential to grow significantly over the course of the next decade and therefore the mechanisms that make the…
Expand
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
2004
2004
Control flow graph analysis for automatic fast path implementation
P. Hoschka
,
C. Huitema
2004
Corpus ID: 2869054
A common approach to building high performance protocol software is the implementation of so-called fast paths. A fast path…
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
2002
2002
A game logic for workflows of non-cooperative services
M. Kifer
,
I. Ramakrishnan
,
H. Davulcu
2002
Corpus ID: 17884294
A workflow is a collection of cooperating, coordinated activities designed to carry out a well-defined complex process, such as…
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