Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Control_flow_analysis> ?p ?o }
Showing triples 1 to 57 of
57
with 100 triples per page.
- Control_flow_analysis 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.".
- Control_flow_analysis wikiPageExternalLink kcfa-pldi10.pdf.
- Control_flow_analysis wikiPageExternalLink Midtgaard-CSur-final.pdf.
- Control_flow_analysis wikiPageExternalLink 3.CONTROL-FLOW-ANALYSIS.html.
- Control_flow_analysis wikiPageID "11026751".
- Control_flow_analysis wikiPageLength "2240".
- Control_flow_analysis wikiPageOutDegree "19".
- Control_flow_analysis wikiPageRevisionID "665050758".
- Control_flow_analysis wikiPageWikiLink Abstract_interpretation.
- Control_flow_analysis wikiPageWikiLink Cartesian_product.
- Control_flow_analysis wikiPageWikiLink Category:Control-flow_analysis.
- Control_flow_analysis wikiPageWikiLink Computer_science.
- Control_flow_analysis wikiPageWikiLink Constraint_satisfaction_problem.
- Control_flow_analysis wikiPageWikiLink Constraint_solving.
- Control_flow_analysis wikiPageWikiLink Control_flow.
- Control_flow_analysis wikiPageWikiLink Control_flow_graph.
- Control_flow_analysis wikiPageWikiLink Data-flow_analysis.
- Control_flow_analysis wikiPageWikiLink Functional_programming.
- Control_flow_analysis wikiPageWikiLink Functional_programming_language.
- Control_flow_analysis wikiPageWikiLink Higher-order_function.
- Control_flow_analysis wikiPageWikiLink Higher-order_functions.
- Control_flow_analysis wikiPageWikiLink Higher-order_programming_language.
- Control_flow_analysis wikiPageWikiLink Imperative_programming.
- Control_flow_analysis wikiPageWikiLink Imperative_programming_language.
- Control_flow_analysis wikiPageWikiLink Interprocedural_analysis.
- Control_flow_analysis wikiPageWikiLink Interprocedural_optimization.
- Control_flow_analysis wikiPageWikiLink Object-oriented_programming.
- Control_flow_analysis wikiPageWikiLink Object-oriented_programming_language.
- Control_flow_analysis wikiPageWikiLink Pointer_analysis.
- Control_flow_analysis wikiPageWikiLink Scheme_(programming_language).
- Control_flow_analysis wikiPageWikiLink Static_analysis.
- Control_flow_analysis wikiPageWikiLink Static_code_analysis.
- Control_flow_analysis wikiPageWikiLink Static_program_analysis.
- Control_flow_analysis wikiPageWikiLink Type_system.
- Control_flow_analysis wikiPageWikiLinkText "Control Flow Analysis".
- Control_flow_analysis wikiPageWikiLinkText "Control flow analysis".
- Control_flow_analysis wikiPageWikiLinkText "control flow analysis".
- Control_flow_analysis hasPhotoCollection Control_flow_analysis.
- Control_flow_analysis wikiPageUsesTemplate Template:Cleanup-rewrite.
- Control_flow_analysis wikiPageUsesTemplate Template:Dubious.
- Control_flow_analysis wikiPageUsesTemplate Template:Page_needed.
- Control_flow_analysis wikiPageUsesTemplate Template:Reflist.
- Control_flow_analysis subject Category:Control-flow_analysis.
- Control_flow_analysis hypernym Technique.
- Control_flow_analysis type Article.
- Control_flow_analysis type Software.
- Control_flow_analysis type Article.
- Control_flow_analysis 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.".
- Control_flow_analysis label "Control flow analysis".
- Control_flow_analysis sameAs Análisis_de_control_del_flujo.
- Control_flow_analysis sameAs m.0b745sw.
- Control_flow_analysis sameAs Анализ_потока_управления.
- Control_flow_analysis sameAs Q2348963.
- Control_flow_analysis sameAs Q2348963.
- Control_flow_analysis sameAs 控制流分析.
- Control_flow_analysis wasDerivedFrom Control_flow_analysis?oldid=665050758.
- Control_flow_analysis isPrimaryTopicOf Control_flow_analysis.