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

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

Namespace Prefixes

PrefixIRI
n20http://ropas.snu.ac.kr/
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n9http://www.mathworks.com/products/polyspace/
n12http://www.absint.com/
n8http://www.brics.dk/~mis/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n14http://www.cis.ksu.edu/santos/schmidt/Escuela03/
n7http://
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17http://ja.dbpedia.org/resource/Category:
owlhttp://www.w3.org/2002/07/owl#
n11http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q333341
owl:sameAs
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:Polyspace
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:クラスターミッション
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:データベース
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:プログラム意味論
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:モデル検査
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:不動点定理
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:凸包
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:到達不能コード
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:形式的検証
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:抽象化_(計算機科学)
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:抽象解釈
rdfs:label
抽象解釈
rdfs:comment
抽象解釈(ちゅうしょうかいしゃく、英: Abstract interpretation)は、コンピュータプログラムの意味論の健全な近似の理論であり、順序集合(特に束)における単調関数に基づいている。全ての計算を実施することなく、プログラムの部分的な実行(ある種の部分評価)をするものと見ることができ、それによりプログラムの意味に関する情報(例えば、制御構造、情報の流れなど)を獲得する。 主な応用として、形式的な静的コード解析があり、プログラム実行に関する情報を自動抽出するものである。このような解析には次の2つの利用法がある。 * コンパイラ内部で、対象プログラムを解析し、特定の最適化やプログラムの変換が可能かどうかを決定する。 * デバッグ時や、特定の種類のバグが存在しないことを保証するとき。 抽象解釈は、Patrick Cousot と Radhia Cousot によって定式化された。
owl:sameAs
freebase:m.0gfbx
dct:subject
n17:形式手法
dbo:wikiPageID
1150064
dbo:wikiPageRevisionID
84167079
dbo:wikiPageWikiLink
dbpedia-ja:DAEDALUS dbpedia-ja:プログラム_(コンピュータ) dbpedia-ja:命令型言語 dbpedia-ja:単調関数 dbpedia-ja:インタプリタ dbpedia-ja:抽象化 dbpedia-ja:束_(束論) dbpedia-ja:最小不動点 dbpedia-ja:デバッグ dbpedia-ja:プログラム意味論 dbpedia-ja:チューリングマシンの停止問題 dbpedia-ja:制御構造 dbpedia-ja:バグ dbpedia-ja:ライスの定理 dbpedia-ja:多面体 dbpedia-ja:コンパイラ最適化 dbpedia-ja:コンパイラ dbpedia-ja:区間演算 dbpedia-ja:乗法 dbpedia-ja:健全性 dbpedia-ja:不動点 n17:形式手法 dbpedia-ja:プログラムカウンタ dbpedia-ja:計算可能性理論 dbpedia-ja:記号シミュレーション dbpedia-ja:静的コード解析 dbpedia-ja:部分評価 dbpedia-ja:計算 dbpedia-ja:モデル検査 dbpedia-ja:順序集合 dbpedia-ja:計算複雑性理論 dbpedia-ja:実数 dbpedia-ja:社会保障番号
dbo:wikiPageExternalLink
n7:www.program-analysis.com n7:www.astree.ens.fr n8:static.pdf n9:index.html%3Fs_cid=HP_FP_PS_PolySpace n12:pag n14: n7:redlizards.com n20:airac5
prop-en:wikiPageUsesTemplate
template-en:Lang-en-short
dbo:abstract
抽象解釈(ちゅうしょうかいしゃく、英: Abstract interpretation)は、コンピュータプログラムの意味論の健全な近似の理論であり、順序集合(特に束)における単調関数に基づいている。全ての計算を実施することなく、プログラムの部分的な実行(ある種の部分評価)をするものと見ることができ、それによりプログラムの意味に関する情報(例えば、制御構造、情報の流れなど)を獲得する。 主な応用として、形式的な静的コード解析があり、プログラム実行に関する情報を自動抽出するものである。このような解析には次の2つの利用法がある。 * コンパイラ内部で、対象プログラムを解析し、特定の最適化やプログラムの変換が可能かどうかを決定する。 * デバッグ時や、特定の種類のバグが存在しないことを保証するとき。 抽象解釈は、Patrick Cousot と Radhia Cousot によって定式化された。
dbo:wikiPageLength
5936
prov:wasDerivedFrom
n11:抽象解釈?oldid=84167079&ns=0
foaf:isPrimaryTopicOf
n11:抽象解釈
Subject Item
dbpedia-ja:最適化_(情報工学)
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:表示的意味論
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:静的コード解析
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:疎な条件分岐を考慮した定数伝播
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:抽象インタプリタ
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
dbo:wikiPageRedirects
dbpedia-ja:抽象解釈
Subject Item
dbpedia-ja:抽象実行
dbo:wikiPageWikiLink
dbpedia-ja:抽象解釈
dbo:wikiPageRedirects
dbpedia-ja:抽象解釈
Subject Item
n11:抽象解釈
foaf:primaryTopic
dbpedia-ja:抽象解釈