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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
n26http://www.cse.iitb.ac.in/~uday/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
n16http://dbpedia.org/resource/Parasoft_C/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n25http://dbpedia.org/resource/Head/
n14https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-srhttp://sr.dbpedia.org/resource/
n11http://dbpedia.org/resource/ISO/
dbpedia-nohttp://no.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-skhttp://sk.dbpedia.org/resource/
n12https://archive.org/details/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:ProGuard
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Alireza_Shokoohi
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbp:knownFor
dbr:Data-flow_analysis
dbo:knownFor
dbr:Data-flow_analysis
Subject Item
dbr:History_of_compiler_construction
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Jtest
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:List_of_important_publications_in_computer_science
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:List_of_pioneers_in_computer_science
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:VeriFlux
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Dead-code_elimination
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Dead_code
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Definite_assignment_analysis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:List_of_programmers
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Compiler
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Control-flow_diagram
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Control-flow_graph
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:GNU_lightning
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Gary_Kildall
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Control_flow_analysis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Thomas_W._Reps
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:MALPAS_Software_Static_Analysis_Toolset
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Shmuel_Sagiv
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Stalin_(Scheme_implementation)
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Data_flow_analysis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Data_flow_graph
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Dataflow_graph
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Data-flow_analysis
rdf:type
dbo:TopicalConcept yago:YagoPermanentlyLocatedEntity yago:Event100029378 yago:Action100037396 yago:Act100030358 yago:ChangeOfState100199130 yago:PsychologicalFeature100023100 yago:WikicatCompilerOptimizations yago:Improvement100248977 yago:Change100191142 yago:Abstraction100002137 yago:Optimization100260051
rdfs:label
数据流分析 데이터 흐름 분석 Datenflussanalyse データフロー解析 Data-flow analysis
rdfs:comment
数据流分析 是一种用于收集计算机程序在不同点计算的值的信息的技术。一个程序的控制流圖(control flow graph, CFG)被用来确定对变量的一次赋值可能传播到程序中的哪些部分。这些信息通常被编译器用来优化程序。数据流分析的一个典型的例子就是可到达定义的计算。 进行数据流分析的最简单的一种形式就是对控制流图的某个节点建立数据流方程,然后通过迭代计算,反复求解,直到到达不动点。这种一般的方法是由在讲课时发明的。 Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program. A program's control-flow graph (CFG) is used to determine those parts of a program to which a particular value assigned to a variable might propagate. The information gathered is often used by compilers when optimizing a program. A canonical example of a data-flow analysis is reaching definitions. データフロー解析(英: Data-flow analysis)は、プログラム内の様々な位置で、取りうる値の集合に関する情報を収集する技法である。制御フローグラフ (CFG) を使って変数の値が伝播するかどうかなどの情報を集め、利用する。このようにして集められた情報はコンパイラが最適化に利用する。データフロー解析の基本は (reaching definition) である。 あるプログラムのデータフロー解析を行う単純な方法は、制御フローグラフの各ノードについてデータフロー方程式を設定し、全体として安定した状態、すなわち不動点に到達するまで、それらの式を繰り返し計算していく。完了することを保証するためには、不動点データフロー解析に基づくデータフロー方程式が必要である。すなわち、各式のローカルな更新は単調である。この技法の基本はゲイリー・キルドールが海軍大学院で教えていたころに開発したものである。 데이터 흐름 분석(Data-flow analysis)은 컴퓨터 프로그램에서 다양한 지점에서 계산된 가능한 값들의 집합에 대한 정보를 모으는 기법이다. 프로그램의 제어 흐름 그래프(CFG)는 프로그램의 이러한 값들에서 변수에 저장되기 위해서는 어떤 값이 전파돼야 하는지를 결정하는데 사용된다. 모은 정보는 종종 컴파일러가 프로그램을 최적화할 때 사용된다. 데이터 흐름 분석의 고전적인 예로 (reaching definition)가 있다. 프로그램의 데이터 흐름 분석을 수행하는 간단한 방법은 제어 흐름 그래프의 각 정점에 대해 데이터 흐름 방정식을 세우고, 전체 연립 방정식이 수렴할 때까지, 즉 고정점에 도달할 때까지 각 정점에서 입력에 대한 출력을 반복적으로 계산하여 푸는 것이다. 이 일반적인 접근법은 개리 킬달에 의해 개발되었다. Eine Datenflussanalyse ist eine statische Code-Analyse eines Computerprogramms, die untersucht, zwischen welchen Teilen eines Programms Daten weitergegeben werden und welche Abhängigkeiten daraus resultieren. Ziele solcher Analysen sind Optimierungen des Codes hinsichtlich der Ausführungszeit (durch Löschen überflüssigen Codes, Restrukturierung oder Parallelisierung) und der Speichernutzung. Datenflussanalysen werden in folgende Arten unterteilt:
dcterms:subject
dbc:Compiler_optimizations dbc:Data-flow_analysis
dbo:wikiPageID
826951
dbo:wikiPageRevisionID
1112320718
dbo:wikiPageWikiLink
dbr:Morgan_Kaufmann_Publishers dbr:Use-define_chain dbr:Springer_Science+Business_Media dbr:Software_feature dbr:Compiler dbr:Liveness_analysis dbr:Definite_assignment_analysis dbr:Fixpoint dbr:Partial_order dbr:Requirement dbr:Depth-first_search dbr:Tree_(graph_theory) dbr:Morgan_Kaufmann dbr:Naval_Postgraduate_School dbr:Topological_sort dbr:Control_flow_analysis dbr:Join_(mathematics) dbr:Control_flow dbr:Reaching_definition dbr:Monotonic dbr:XLT86 dbr:Gary_Kildall dbr:Elsevier_North-Holland_Inc. dbr:Entry_point dbr:Reaching_definitions dbr:Postorder dbr:Use_case dbr:Basic_block dbr:Live_variable_analysis dbr:Node_(computer_science) dbr:Computer_program dbr:CRC_Press dbr:Optimizing_compiler dbr:Available_expression dbr:Bit_array dbr:Constant_propagation dbr:Taylor_and_Francis_Group dbc:Compiler_optimizations dbr:Dead_code_elimination dbr:Tree_traversal dbr:Control-flow_graph dbr:Abstract_interpretation dbc:Data-flow_analysis
dbo:wikiPageExternalLink
n12:flowanalysisofco0000hech n26:dfaBook-web n12:advancedcompiler00much
owl:sameAs
dbpedia-no:Dataflytanalyse yago-res:Data-flow_analysis n14:ECSk dbpedia-zh:数据流分析 dbpedia-sr:Анализа_протока_података dbpedia-ja:データフロー解析 dbpedia-sk:Analýza_toku dbpedia-de:Datenflussanalyse dbpedia-fa:تجزیه_و_تحلیل_جریان_داده freebase:m.03f97r wikidata:Q1172416 dbpedia-ko:데이터_흐름_분석
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Software_development_process dbt:Short_description dbt:Use_dmy_dates dbt:More_citations_needed_section dbt:Cite_book dbt:Compiler_optimizations dbt:Anchor dbt:Code dbt:Col-end dbt:Col-begin dbt:Col-break
dbp:cs1Dates
y
dbp:date
January 2020
dbo:abstract
데이터 흐름 분석(Data-flow analysis)은 컴퓨터 프로그램에서 다양한 지점에서 계산된 가능한 값들의 집합에 대한 정보를 모으는 기법이다. 프로그램의 제어 흐름 그래프(CFG)는 프로그램의 이러한 값들에서 변수에 저장되기 위해서는 어떤 값이 전파돼야 하는지를 결정하는데 사용된다. 모은 정보는 종종 컴파일러가 프로그램을 최적화할 때 사용된다. 데이터 흐름 분석의 고전적인 예로 (reaching definition)가 있다. 프로그램의 데이터 흐름 분석을 수행하는 간단한 방법은 제어 흐름 그래프의 각 정점에 대해 데이터 흐름 방정식을 세우고, 전체 연립 방정식이 수렴할 때까지, 즉 고정점에 도달할 때까지 각 정점에서 입력에 대한 출력을 반복적으로 계산하여 푸는 것이다. 이 일반적인 접근법은 개리 킬달에 의해 개발되었다. 数据流分析 是一种用于收集计算机程序在不同点计算的值的信息的技术。一个程序的控制流圖(control flow graph, CFG)被用来确定对变量的一次赋值可能传播到程序中的哪些部分。这些信息通常被编译器用来优化程序。数据流分析的一个典型的例子就是可到达定义的计算。 进行数据流分析的最简单的一种形式就是对控制流图的某个节点建立数据流方程,然后通过迭代计算,反复求解,直到到达不动点。这种一般的方法是由在讲课时发明的。 Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program. A program's control-flow graph (CFG) is used to determine those parts of a program to which a particular value assigned to a variable might propagate. The information gathered is often used by compilers when optimizing a program. A canonical example of a data-flow analysis is reaching definitions. A simple way to perform data-flow analysis of programs is to set up data-flow equations for each node of the control-flow graph and solve them by repeatedly calculating the output from the input locally at each node until the whole system stabilizes, i.e., it reaches a fixpoint. This general approach, also known as Kildall's method, was developed by Gary Kildall while teaching at the Naval Postgraduate School. データフロー解析(英: Data-flow analysis)は、プログラム内の様々な位置で、取りうる値の集合に関する情報を収集する技法である。制御フローグラフ (CFG) を使って変数の値が伝播するかどうかなどの情報を集め、利用する。このようにして集められた情報はコンパイラが最適化に利用する。データフロー解析の基本は (reaching definition) である。 あるプログラムのデータフロー解析を行う単純な方法は、制御フローグラフの各ノードについてデータフロー方程式を設定し、全体として安定した状態、すなわち不動点に到達するまで、それらの式を繰り返し計算していく。完了することを保証するためには、不動点データフロー解析に基づくデータフロー方程式が必要である。すなわち、各式のローカルな更新は単調である。この技法の基本はゲイリー・キルドールが海軍大学院で教えていたころに開発したものである。 Eine Datenflussanalyse ist eine statische Code-Analyse eines Computerprogramms, die untersucht, zwischen welchen Teilen eines Programms Daten weitergegeben werden und welche Abhängigkeiten daraus resultieren. Ziele solcher Analysen sind Optimierungen des Codes hinsichtlich der Ausführungszeit (durch Löschen überflüssigen Codes, Restrukturierung oder Parallelisierung) und der Speichernutzung. Datenflussanalysen werden in folgende Arten unterteilt: * Vorwärtsanalysen, bei denen der Programmcode mit Hilfe des Kontrollflussgraphen untersucht wird und * Rückwärtsanalysen, bei denen der Programmcode mit Hilfe des umgekehrten Kontrollflussgraphen untersucht wird.
gold:hypernym
dbr:Technique
prov:wasDerivedFrom
wikipedia-en:Data-flow_analysis?oldid=1112320718&ns=0
dbo:wikiPageLength
27279
foaf:isPrimaryTopicOf
wikipedia-en:Data-flow_analysis
Subject Item
dbr:DFA
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageDisambiguates
dbr:Data-flow_analysis
Subject Item
n25:tail_breaks
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Dataflow
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Dataflow_analysis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Fixed_point_(mathematics)
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
n16:C++test
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Disassembler
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Flow_analysis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Software_regression
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Harry_R._Lewis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Software_testing_tactics
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Abstract_interpretation
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Reaching_definition
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Software_testing
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Solebit
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Global_data-flow_analysis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Global_data_flow_analysis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Data-flow_graph
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Data_Flow_Analysis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Neil_D._Jones
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Open64
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Optimizing_compiler
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Sacrococcygeal_teratoma
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Explicit_data_graph_execution
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
n11:IEC_29119
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Live-variable_analysis
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Fixed-point_combinator
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
Subject Item
dbr:Kildall's_algorithm
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
dbr:Kildall's_method
dbo:wikiPageWikiLink
dbr:Data-flow_analysis
dbo:wikiPageRedirects
dbr:Data-flow_analysis
Subject Item
wikipedia-en:Data-flow_analysis
foaf:primaryTopic
dbr:Data-flow_analysis