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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

This report deals with interpretation methods of single-hole hydraulic tests. A special emphasis is on new analysis methods of a…

2009

This dissertation presents a systematic development of a new thermal lattice Boltzmann multiphase model. Unlike conventional CFD…

2008

Web services technology offers a WS-BPEL language for business process execution. The building block of WS-BPEL is those Web…

2006

The unit of compilation for traditional just-in-time compilers is the method. We have explored trace-based compilation, in which…

2003

Researchers in academia and industry are beginning to develop anti-virus technologies founded on formal methods of analysing…

2002

Testing is a critical part of the software-engineering process. Coverage tools provide information about which components are…

2002

We first present a static analysis based on a set-based framework, which estimates exception propagation paths of Java programs…

2001

New algorithms for the structuring of arbitrary control-flow graphs are presented. As they minimize the use of Gotos, these…

1995

Multithreaded execution models attempt to combine some aspects of dataflow-like execution with von Neumann model execution. Their…

1991

It has been widely believed that qualitative analysis guides quantitative analysis, while sufficient study has not been made from…