HTML Microdata document

This HTML5 document contains 183 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
n12	https://gcc.gnu.org/onlinedocs/gccint/
dbo	http://dbpedia.org/ontology/
n21	http://dbpedia.org/resource/File:
foaf	http://xmlns.com/foaf/0.1/
dbpedia-hu	http://hu.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
n34	https://global.dbpedia.org/id/
dbpedia-tr	http://tr.dbpedia.org/resource/
n31	http://www.ucw.cz/~hubicka/papers/proj/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbt	http://dbpedia.org/resource/Template:
dbpedia-uk	http://uk.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-sr	http://sr.dbpedia.org/resource/
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-pt	http://pt.dbpedia.org/resource/
n7	http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-no	http://no.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-fr	http://fr.dbpedia.org/resource/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
n28	http://dbpedia.org/resource/List_of_acronyms:
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
n35	http://compilers.cs.ucla.edu/avrora/
dbpedia-ja	http://ja.dbpedia.org/resource/
n29	https://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15745-s02/public/doc/

Statements

Subject Item: dbr:Predication_(computer_architecture)
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Elementary_comparison_testing
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: n28:_C
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:List_of_computing_and_IT_abbreviations
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:List_of_pioneers_in_computer_science
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Decision-to-decision_path
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Depth-first_search
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Register_allocation
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:List_of_graphical_methods
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Compiler
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Control-flow_diagram
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Control-flow_graph
rdfs:label: Graf przepływu sterowania Граф потока управления Control-flow graph 제어 흐름 그래프 Grafo de control de flujo Grafo de fluxo de controle Graphe de flot de contrôle 控制流圖制御フローグラフ Граф потоку керування Kontrollflussgraph
rdfs:comment: Граф потока управления (англ. control flow graph, CFG) — в теории компиляции — множество всех возможных путей исполнения программы, представленное в виде графa. Ein Kontrollflussgraph ist ein Begriff aus der Informatik und bezeichnet einen gerichteten Graphen, der dazu dient, den Kontrollfluss eines Computerprogramms zu beschreiben. Sie werden unter anderem zur Programmoptimierung eingesetzt. 制御フローグラフ（せいぎょフローグラフ、英: Control Flow Graph, CFG）は、プログラムを実行したときに通る可能性のある全経路をグラフで表したものである。この場合、ノードは基本ブロック（すなわち、分岐を全く含まない逐次的コード列であって、途中に分岐先もない）を表し、ノードとノードをつなぐ有向エッジは、あるブロックから別ブロックへのジャンプを意味する。一般に、グラフ全体の入口となる入口ブロックと、出口となる出口ブロックがある。 CFGはコンパイラ最適化や静的コード解析ツールでよく使われる。 Graf przepływu sterowania (ang. control flow graph) – abstrakcyjna struktura danych używana przez kompilator do reprezentacji pojedynczej procedury programu. Wierzchołkami grafu są bloki podstawowe, a skierowane krawędzie wskazują powiązania między blokami. Często w reprezentacji grafu przepływu sterowania spotyka się dodatkowe specjalne bloki: blok wejściowy i blok wyjściowy, oznaczające odpowiednio początek i koniec procedury. Graf przepływu sterowania jest wykorzystywany do optymalizacji programów. Граф потоку керування (англ. control flow graph, CFG) — в теорії компіляції — множина всіх можливих шляхів виконання програми, поданих у вигляді графа. У графі потоку керування кожен вузол (вершина) графа відповідає базовому блоку — лінійній ділянці коду, що не містить ні операцій передачі керування, ні точок, на які керування передається з інших частин програми. Є лише 2 винятки: * точка, на яку виконується перехід, є першою інструкцією в базовому блоці, і * базовий блок завершується інструкцією переходу. En informatique, un graphe de flot de contrôle (abrégé en GFC, control flow graph ou CFG en anglais) est une représentation sous forme de graphe de tous les chemins qui peuvent être suivis par un programme durant son exécution. 제어 흐름 그래프 (control flow graph) (CFG)는 프로그램이 실행 중에 횡단할 수 있는 모든 경로를 그래프 표기법을 사용하여 표현한 것이다. CFG는 많은 컴파일러 최적화와 정적 프로그램 분석 툴에서 핵심 요소이다. 控制流圖（control-flow graph）簡稱CFG，是计算机科学中的表示法，利用數學中图的表示方式，標示计算机程序過程中所經過的所有路徑。控制流圖是由法兰·艾伦所建立，他提出曾利用邻接矩阵用在流分析上。 CFG是許多及靜態程序分析工具中的核心技術。 In computer science, a control-flow graph (CFG) is a representation, using graph notation, of all paths that might be traversed through a program during its execution. The control-flow graph was discovered by Frances E. Allen, who noted that Reese T. Prosser used boolean connectivity matrices for flow analysis before. The CFG is essential to many compiler optimizations and static-analysis tools. Em ciência da computação, grafo de fluxo de controle é uma representação que usa notação de grafo para descrever todos os caminhos que podem ser executados por um programa de computador. Em tal grafo, cada nó representa um bloco básico, isto é, uma região de código sequencial sem qualquer salto de execução. Dessa forma, o destino dum salto denota o começo dum bloco, então o salto termina um bloco. Arestas direcionadas são usadas para representar tais saltos na estrutura de controle. Ainda há dois blocos especiais, o bloco de entrada e o bloco de saída, de onde se começa e termina o fluxo, respectivamente. En ciencias de la computación, un grafo de control de flujo (CFG) es una representación, en forma de grafo dirigido, de todos los caminos que pueden ser atravesados a través de un programa durante su ejecución.
foaf:depiction: n7:Rust_MIR_CFG.svg n7:Some_types_of_control_flow_graphs.svg
dcterms:subject: dbc:Modeling_languages dbc:Application-specific_graphs dbc:Compiler_construction dbc:Control-flow_analysis
dbo:wikiPageID: 43653
dbo:wikiPageRevisionID: 1115609094
dbo:wikiPageWikiLink: dbr:Zdeněk_Dvořák dbr:Infinite_loop dbr:Exception_handling dbr:Lengauer–Tarjan's_algorithm dbc:Modeling_languages dbr:Intermediate_representation dbr:Directed_acyclic_graph dbr:Structured_programming dbr:Constant_folding dbr:Computer_science dbr:Control-flow_diagram dbr:Execution_(computing) dbr:Computer_program dbr:Compiler_optimization dbr:Control_flow dbr:Depiction dbr:Compiler_construction dbr:Unreachable_code dbc:Application-specific_graphs n21:Some_types_of_control_flow_graphs.svg dbc:Compiler_construction dbr:Flowchart dbr:Vertex_(graph_theory) dbr:Depth-first_search dbr:Loop-invariant_code_motion dbr:Outdegree dbr:Data-flow_analysis dbr:Reachability dbr:Dominator_(graph_theory) dbr:Edge_contraction n21:Rust_MIR_CFG.svg dbr:Control-flow_analysis dbr:GOTO dbr:Edge_(graph_theory) dbr:Reese_Prosser dbr:Static_single_assignment dbr:Frances_E._Allen dbc:Control-flow_analysis dbr:Interval_(graph_theory) dbr:Abstract_syntax_tree dbr:Jump_threading dbr:Cyclomatic_complexity dbr:Jump_target_(computing) dbr:Adjacency_matrix dbr:Program_dependence_graph dbr:Halting_problem dbr:Constant_propagation dbr:Basic_block dbr:Static_code_analysis dbr:Graph_(discrete_mathematics)
dbo:wikiPageExternalLink: n12:Control-Flow.html n29:cfg.html n31:node6.html%23SECTION02420000000000000000 n35:cfg.html
owl:sameAs: dbpedia-ja:制御フローグラフ dbpedia-ko:제어_흐름_그래프 dbpedia-no:Kontrollflytgraf dbpedia-fa:گراف_روند_کنترلی dbpedia-zh:控制流圖 dbpedia-es:Grafo_de_control_de_flujo dbpedia-hu:Vezérlésfolyamgráf dbpedia-tr:Kontrol_akış_çizelgesi dbpedia-pt:Grafo_de_fluxo_de_controle dbpedia-uk:Граф_потоку_керування dbpedia-fr:Graphe_de_flot_de_contrôle dbpedia-ru:Граф_потока_управления dbpedia-sr:Граф_контроле_података wikidata:Q1187693 dbpedia-de:Kontrollflussgraph n34:EkFd dbpedia-pl:Graf_przepływu_sterowania
dbp:wikiPageUsesTemplate: dbt:Multiple_issues dbt:Short_description dbt:More_citations_needed dbt:Main dbt:Reflist dbt:Commons_category dbt:Expert_needed
dbo:thumbnail: n7:Some_types_of_control_flow_graphs.svg?width=300
dbo:abstract: Graf przepływu sterowania (ang. control flow graph) – abstrakcyjna struktura danych używana przez kompilator do reprezentacji pojedynczej procedury programu. Wierzchołkami grafu są bloki podstawowe, a skierowane krawędzie wskazują powiązania między blokami. Często w reprezentacji grafu przepływu sterowania spotyka się dodatkowe specjalne bloki: blok wejściowy i blok wyjściowy, oznaczające odpowiednio początek i koniec procedury. Krawędzie mogą być etykietowane wartościami „prawda” lub „fałsz” – wówczas oznaczają, że wykonanie docelowego bloku zależy od wartości predykatu zawartego w źródłowym bloku. Graf przepływu sterowania jest wykorzystywany do optymalizacji programów. Граф потока управления (англ. control flow graph, CFG) — в теории компиляции — множество всех возможных путей исполнения программы, представленное в виде графa. En informatique, un graphe de flot de contrôle (abrégé en GFC, control flow graph ou CFG en anglais) est une représentation sous forme de graphe de tous les chemins qui peuvent être suivis par un programme durant son exécution. En ciencias de la computación, un grafo de control de flujo (CFG) es una representación, en forma de grafo dirigido, de todos los caminos que pueden ser atravesados a través de un programa durante su ejecución. Em ciência da computação, grafo de fluxo de controle é uma representação que usa notação de grafo para descrever todos os caminhos que podem ser executados por um programa de computador. Em tal grafo, cada nó representa um bloco básico, isto é, uma região de código sequencial sem qualquer salto de execução. Dessa forma, o destino dum salto denota o começo dum bloco, então o salto termina um bloco. Arestas direcionadas são usadas para representar tais saltos na estrutura de controle. Ainda há dois blocos especiais, o bloco de entrada e o bloco de saída, de onde se começa e termina o fluxo, respectivamente. O grafo de fluxo de controle é essencial para diversas ferramentas de e análise sintática de código. Por exemplo, uma propriedade útil para a otimização é a . Se um bloco ou subgrafo não está conectado ao subgrafo que contém o bloco de entrada, tal bloco não é alcançável em qualquer execução, resultando num , que pode ser removido. Se o bloco de saída é inalcançável a partir do bloco de entrada, há algum tipo de laço infinito no código (nem todos os laços infinitos são detectáveis, entretanto; ver problema da parada). 제어 흐름 그래프 (control flow graph) (CFG)는 프로그램이 실행 중에 횡단할 수 있는 모든 경로를 그래프 표기법을 사용하여 표현한 것이다. CFG는 많은 컴파일러 최적화와 정적 프로그램 분석 툴에서 핵심 요소이다. In computer science, a control-flow graph (CFG) is a representation, using graph notation, of all paths that might be traversed through a program during its execution. The control-flow graph was discovered by Frances E. Allen, who noted that Reese T. Prosser used boolean connectivity matrices for flow analysis before. The CFG is essential to many compiler optimizations and static-analysis tools. Граф потоку керування (англ. control flow graph, CFG) — в теорії компіляції — множина всіх можливих шляхів виконання програми, поданих у вигляді графа. У графі потоку керування кожен вузол (вершина) графа відповідає базовому блоку — лінійній ділянці коду, що не містить ні операцій передачі керування, ні точок, на які керування передається з інших частин програми. Є лише 2 винятки: * точка, на яку виконується перехід, є першою інструкцією в базовому блоці, і * базовий блок завершується інструкцією переходу. Спрямовані дуги використовуються в графі для подання інструкцій переходу. Також у більшості реалізацій додано два спеціалізованих блоки: вхідний блок, через який керування входить у граф, і вихідний блок, який завершує всі шляхи в даному графі. Структура CFG вкрай важлива для багатьох оптимізацій компіляторів і для утиліт статичного аналізу коду. За допомогою графа керування можна визначати недосяжні фрагменти коду, деякі види зациклення програм, можливість перегрупування операторів для використання можливостей процесора з оптимізації кешування пам'яті; також граф потоку керування може використовуватися при контролі коректності оптимізуючих перетворень і при процедурному (intraprocedural) аналізі. Ще одне застосування графа потоку керування — етап вставляння функцій при побудові статичних форм з одноразовим присвоєнням (SSA — forms). Ein Kontrollflussgraph ist ein Begriff aus der Informatik und bezeichnet einen gerichteten Graphen, der dazu dient, den Kontrollfluss eines Computerprogramms zu beschreiben. Sie werden unter anderem zur Programmoptimierung eingesetzt. 制御フローグラフ（せいぎょフローグラフ、英: Control Flow Graph, CFG）は、プログラムを実行したときに通る可能性のある全経路をグラフで表したものである。この場合、ノードは基本ブロック（すなわち、分岐を全く含まない逐次的コード列であって、途中に分岐先もない）を表し、ノードとノードをつなぐ有向エッジは、あるブロックから別ブロックへのジャンプを意味する。一般に、グラフ全体の入口となる入口ブロックと、出口となる出口ブロックがある。 CFGはコンパイラ最適化や静的コード解析ツールでよく使われる。最適化において利用されるグラフの属性として、到達可能性(reachability)がある。あるブロックまたは部分グラフが、入口ブロックを含む部分グラフと連結していない場合、そのブロックは決して実行されることはなく、いわゆる到達不能コードであって、容易に削除可能である。出口ブロックが入口ブロックから到達不能な場合、無限ループとなっている（あらゆる無限ループを検出できるわけではない。停止性問題を参照のこと）。プログラマが明示的に到達できないコードや無限ループを書かなくても、そのような状況になることはある。例えば、定数伝播や定数畳み込みといった最適化を行った後にを行うと、元々は別々だった基本ブロックが1つにまとめられることがあり、エッジがCFGから除去され、グラフの一部が連結されなくなることがある。控制流圖（control-flow graph）簡稱CFG，是计算机科学中的表示法，利用數學中图的表示方式，標示计算机程序過程中所經過的所有路徑。控制流圖是由法兰·艾伦所建立，他提出曾利用邻接矩阵用在流分析上。 CFG是許多及靜態程序分析工具中的核心技術。
prov:wasDerivedFrom: wikipedia-en:Control-flow_graph?oldid=1115609094&ns=0
dbo:wikiPageLength: 11860
foaf:isPrimaryTopicOf: wikipedia-en:Control-flow_graph

Subject Item: dbr:Essential_complexity
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Rooted_graph
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Constant_folding
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Control_flow
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Control_flow_analysis
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Basis_path_testing
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Call_graph
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Standard_Portable_Intermediate_Representation
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Feedback_arc_set
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Microsoft_Phoenix
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Symbolic_execution
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Activity_diagram
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Treewidth
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Data-flow_analysis
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Data_dependency
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Cyclomatic_complexity
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Basic_block
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Directed_graph
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Disassembler
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Flowchart
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Flow_graph
dbo:wikiPageWikiLink: dbr:Control-flow_graph
dbo:wikiPageDisambiguates: dbr:Control-flow_graph

Subject Item: dbr:Abstract_syntax_tree
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Code_coverage
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Code_property_graph
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:EiffelStudio
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Reaching_definition
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Dominator_(graph_theory)
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:CPAchecker
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:SpiderMonkey
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Control_flow_graph
dbo:wikiPageWikiLink: dbr:Control-flow_graph
dbo:wikiPageRedirects: dbr:Control-flow_graph

Subject Item: dbr:Optimizing_compiler
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:CFG
dbo:wikiPageWikiLink: dbr:Control-flow_graph
dbo:wikiPageDisambiguates: dbr:Control-flow_graph

Subject Item: dbr:RIPS
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Static_single-assignment_form
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Single-entry_single-exit
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Extended_basic_block
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Partial_k-tree
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Program_analysis
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Trucov
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Structured_program_theorem
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Switch_statement
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Software_sizing
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:WindowsSCOPE
dbo:wikiPageWikiLink: dbr:Control-flow_graph

Subject Item: dbr:Flow_control_diagrams
dbo:wikiPageWikiLink: dbr:Control-flow_graph
dbo:wikiPageRedirects: dbr:Control-flow_graph

Subject Item: wikipedia-en:Control-flow_graph
foaf:primaryTopic: dbr:Control-flow_graph