Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,065,705 papers from all fields of science
Search
Sign In
Create Free Account
Control flow analysis
Known as:
Uniform k-CFA
, K-CFA
, CFA
Expand
In computer science, control flow analysis (CFA) is a static code analysis technique for determining the control flow of a program. The control flow…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Abstract interpretation
Computer science
Control flow
Control flow diagram
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Time-Triggered Runtime Verification of Component-Based Multi-core Systems
Samaneh Navabpour
,
Borzoo Bonakdarpour
,
S. Fischmeister
Runtime Verification
2015
Corpus ID: 26295984
In this paper, we characterize and solve the problem of augmenting a component-based system with time-triggered runtime…
Expand
2011
2011
A Model-Driven Framework for Aspect Weaver Construction
Suman Roychoudhury
,
J. Gray
,
F. Jouault
LNCS Trans. Aspect Oriented Softw. Dev.
2011
Corpus ID: 16470870
Aspect orientation has been used to improve the modularization of crosscutting concerns that emerge at different levels of…
Expand
Review
2011
Review
2011
An Introduction to SEM Techniques: For Beginners
R. Kazi
2011
Corpus ID: 62062120
This article deals with theoretical framework of Structural Equation Modeling (SEM). It offers a brief overview of SEM for those…
Expand
2010
2010
Hybrid logical analyses of the ambient calculus
Thomas Bolander
,
René Rydhof Hansen
Information and Computation
2010
Corpus ID: 8753303
2009
2009
A Lagrangean relaxation approach for QoS networks CFA problems
E. Wille
,
M. Mellia
,
Emilio Leonardi
,
M. Marsan
2009
Corpus ID: 15368203
2006
2006
Control-Flow Analysis and Representation for Aspect-Oriented Programs
Jianjun Zhao
International Conference on Quality Software
2006
Corpus ID: 8707084
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design…
Expand
2004
2004
A dynamic compiler for embedded Java virtual machines
M. Debbabi
,
Abdelouahed Gherbi
,
+4 authors
Sami Zhioua
Principles and Practice of Programming in Java
2004
Corpus ID: 2475179
The analgesic effect of zomepirac is potentiated by simultaneously or sequentially administering to a subject suffering from pain…
Expand
2003
2003
Control Flow Analysis for Recursion Removal
S. Himpe
,
F. Catthoor
,
Geert Deconinck
Software and Compilers for Embedded Systems
2003
Corpus ID: 18265118
In this paper a new method for removing recursion from algorithms is demonstrated. The method for removing recursion is based on…
Expand
1994
1994
Data flow and control flow analysis of logic programs
R. Sundararajan
1994
Corpus ID: 63198466
This dissertation studies two related problems in data flow and control flow analysis of logic programs and provides efficient…
Expand
1991
1991
BAL/SRW: Assembler re-engineering workbench
W. Kozaczynski
,
ES Liongosari
,
JQ Ning
1991
Corpus ID: 62207426
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