Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q2348963> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Q2348963 subject Q8416618.
- Q2348963 abstract "In computer science, control flow analysis (CFA) is a static code analysis technique for determining the control flow of a program. The control flow is expressed as a control flow graph (CFG). For both functional programming languages and object-oriented programming languages, the term CFA, and elaborations such as k-CFA, refer to specific algorithms that compute control flow.For many imperative programming languages, the control flow of a program is explicit in a program's source code. As a result, interprocedural control-flow analysis implicitly usually refers to a static analysis technique for determining the receiver(s) of function or method calls in computer programs written in a higher-order programming language. For example, in a programming language with higher-order functions like Scheme, the target of a function call may not be explicit: in the isolated expressionit is unclear to which procedure f may refer. To determine the possible targets, a control-flow analysis must consider where this expression could be invoked, and what argument it may receive.Techniques such as abstract interpretation, constraint solving, and type systems may be used for control-flow analysis.".
- Q2348963 wikiPageExternalLink kcfa-pldi10.pdf.
- Q2348963 wikiPageExternalLink Midtgaard-CSur-final.pdf.
- Q2348963 wikiPageExternalLink 3.CONTROL-FLOW-ANALYSIS.html.
- Q2348963 wikiPageWikiLink Q1128326.
- Q2348963 wikiPageWikiLink Q1172416.
- Q2348963 wikiPageWikiLink Q1187693.
- Q2348963 wikiPageWikiLink Q1329550.
- Q2348963 wikiPageWikiLink Q1474542.
- Q2348963 wikiPageWikiLink Q173740.
- Q2348963 wikiPageWikiLink Q187560.
- Q2348963 wikiPageWikiLink Q193076.
- Q2348963 wikiPageWikiLink Q21198.
- Q2348963 wikiPageWikiLink Q275596.
- Q2348963 wikiPageWikiLink Q333341.
- Q2348963 wikiPageWikiLink Q4288856.
- Q2348963 wikiPageWikiLink Q5978076.
- Q2348963 wikiPageWikiLink Q7604153.
- Q2348963 wikiPageWikiLink Q79872.
- Q2348963 wikiPageWikiLink Q8416618.
- Q2348963 wikiPageWikiLink Q865760.
- Q2348963 wikiPageWikiLink Q868299.
- Q2348963 comment "In computer science, control flow analysis (CFA) is a static code analysis technique for determining the control flow of a program. The control flow is expressed as a control flow graph (CFG). For both functional programming languages and object-oriented programming languages, the term CFA, and elaborations such as k-CFA, refer to specific algorithms that compute control flow.For many imperative programming languages, the control flow of a program is explicit in a program's source code.".
- Q2348963 label "Control flow analysis".