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

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

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
n18http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/
n28http://www.cs.unipr.it/~bagnara/Papers/PDF/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbrhttp://dbpedia.org/resource/
n33http://www.mpi-inf.mpg.de/vtsa08/slides/
dbpedia-ethttp://et.dbpedia.org/resource/
n14http://commons.wikimedia.org/wiki/Special:FilePath/
n38http://
dbpedia-frhttp://fr.dbpedia.org/resource/
n17https://web.archive.org/web/20221123194810/https:/people.cs.ksu.edu/~schmidt/papers/schmidt/Escuela03/
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n31https://www.di.ens.fr/~cousot/AI/
n16http://www.dsi.unive.it/~avp/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://dbpedia.org/resource/File:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
n27http://cs.au.dk/~amoeller/spa/
dbohttp://dbpedia.org/ontology/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
yago-reshttp://yago-knowledge.org/resource/
n29https://global.dbpedia.org/id/
n15http://dbpedia.org/resource/Parasoft_C/
n6https://dblp.uni-trier.de/db/conf/vmcai/
dbpedia-ithttp://it.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n7https://dblp1.uni-trier.de/db/conf/sas/
dbpedia-fahttp://fa.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Prolog
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:List_of_computer_scientists
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Nabla_symbol
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Set_constraint
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Decompiler
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Denotational_semantics
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Patrick_Cousot
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
dbp:knownFor
dbr:Abstract_interpretation
dbo:knownFor
dbr:Abstract_interpretation
Subject Item
dbr:Reinhard_Wilhelm
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:DMS_Software_Reengineering_Toolkit
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Invariant_(mathematics)
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:List_of_programming_language_researchers
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Loop_invariant
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Compiler
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:CodeSonar
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Galois_connection
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Control_flow_analysis
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Shmuel_Sagiv
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Static_program_analysis
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Symbolic_execution
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Total_functional_programming
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Data-flow_analysis
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Lattice_(order)
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:AbsInt
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Abstraction
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Database
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Dynamic_program_analysis
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:ECLAIR
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Edmund_M._Clarke
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Fixed_point_(mathematics)
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Fluctuat
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Formal_verification
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Frama-C
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
n15:C++test
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Formal_methods
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:2014_in_science
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Astrée_(static_analysis)
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Ariane_flight_V88
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Abstract_interpretation
rdf:type
yago:Know-how105616786 yago:WikicatFormalMethods yago:PsychologicalFeature100023100 dbo:Work yago:Abstraction100002137 yago:Method105660268 yago:Cognition100023271 yago:Ability105616246
rdfs:label
抽象解釈 Interprétation abstraite Abstract interpretation 抽象释义 Interpretazione astratta Abstrakte Interpretation
rdfs:comment
L'interprétation abstraite est une théorie d'approximation de la sémantique de programmes informatiques fondée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice). Elle peut être définie comme une exécution partielle d'un programme pour obtenir des informations sur sa sémantique (par exemple, sa structure de contrôle, son flot de données) sans avoir à en faire le traitement complet. L'interprétation abstraite a été formalisée par le professeur Patrick Cousot et le docteur Radhia Cousot. In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g., control-flow, data-flow) without performing all the calculations. Its main concrete application is formal static analysis, the automatic extraction of information about the possible executions of computer programs; such analyses have two main usages: 在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分，获取关于它的语义信息(比如，控制结构、)而不进行所有计算。 它的主要具体应用是形式静态分析，关于计算机程序的可能执行的信息的自动提取；比如这种分析有两个主要用途: * 在编译器内部，分析程序来确定特定或是否是可适用的； * 针对缺陷类的程序的调试甚至校验。 抽象释义是 和 所形式化的。 In informatica, l'interpretazione astratta è una teoria di approssimazione valida della semantica dei programmi, basata su funzioni monotone su insiemi ordinati, in particolare reticoli. Può essere vista come una esecuzione parziale di un programma al fine di raccogliere informazioni sulla sua semantica (per esempio control-flow, data-flow) senza eseguire tutti i calcoli. La sua applicazione concreta è l'analisi statica, l'estrazione di informazione automatica circa le possibili esecuzioni di programmi; tali analisi hanno due scopi principali: Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. Ziel der abstrakten Interpretation ist es Informationen über das Verhalten von Programmen (Analyse der Semantik) zu bekommen, indem man von Teilen des Programms abstrahiert und die Anweisungen Schritt für Schritt nachvollzieht (Interpretation). Das Verfahren stammt von Radhia Cousot und Patrick Cousot. 抽象解釈（ちゅうしょうかいしゃく、英: Abstract interpretation）は、コンピュータプログラムの意味論の健全な近似の理論であり、順序集合（特に束）における単調関数に基づいている。全ての計算を実施することなく、プログラムの部分的な実行（ある種の部分評価）をするものと見ることができ、それによりプログラムの意味に関する情報（例えば、制御構造、情報の流れなど）を獲得する。 主な応用として、形式的な静的コード解析があり、プログラム実行に関する情報を自動抽出するものである。このような解析には次の2つの利用法がある。 * コンパイラ内部で、対象プログラムを解析し、特定の最適化やプログラムの変換が可能かどうかを決定する。 * デバッグ時や、特定の種類のバグが存在しないことを保証するとき。 抽象解釈は、Patrick Cousot と Radhia Cousot によって定式化された。
foaf:depiction
n14:Combination_of_abstract_domains.svg n14:3dpoly.svg n14:Abstract_interpretation_of_integers_by_signs_svg.svg
dcterms:subject
dbc:Program_analysis dbc:Abstract_interpretation
dbo:wikiPageID
60490
dbo:wikiPageRevisionID
1123445752
dbo:wikiPageWikiLink
dbr:Congruence_relation n4:3dpoly.svg dbr:Symposium_on_Principles_of_Programming_Languages dbr:Information_extraction dbr:Symbolic_simulation dbr:Program_transformation dbr:Polyhedron dbr:Soundness dbr:Debugging n4:Abstract_interpretation_of_integers_by_signs_svg.svg dbr:Multiplication dbr:Social_security_number dbr:Polyhedra dbr:Calculation dbr:LNCS dbr:Assembly_language dbr:Radhia_Cousot dbr:Model_checking dbr:Halting_problem dbr:Semantics_of_programming_languages dbr:Knaster–Tarski_theorem dbr:Computer_science dbc:Program_analysis dbr:Computer_program dbr:Computational_complexity dbr:Homonym dbr:Interval_arithmetic dbc:Abstract_interpretation dbr:Abstraction dbr:Interpreter_(computing) dbr:Data-flow_analysis dbr:Execution_(computers) dbr:Python_(programming_language) n4:Combination_of_abstract_domains.svg dbr:Compiler dbr:Symbolic_execution dbr:Real_number dbr:Static_code_analysis dbr:Ascending_chain_condition dbr:Optimization_(computer_science) dbr:Lattice_(order) dbr:Word_(computer_architecture) dbr:Monotonic_function dbr:Total_function dbr:Integers_modulo_n dbr:Ordered_set dbr:List_of_tools_for_static_code_analysis dbr:Imperative_programming dbr:Control-flow_analysis dbr:Three-valued_logic dbr:Patrick_Cousot dbr:Static_program_analysis dbr:Galois_connection dbr:Fixed_point_(mathematics) dbr:Widening_(computer_science) dbr:C_(programming_language) dbr:Ariane_5_Flight_501 dbr:Computability_theory_(computation) dbr:Rice's_theorem dbr:Haskell_(programming_language)
dbo:wikiPageExternalLink
n6: n7: n16: n17:home.html n18: n27: n28:Q485.pdf n31: n33:sutre2.pdf n38:staticanalysis.org
owl:sameAs
dbpedia-et:Abstraktne_interpretatsioon dbpedia-zh:抽象释义 dbpedia-fa:تفسیر_انتزاعی yago-res:Abstract_interpretation dbpedia-it:Interpretazione_astratta n29:353Ft wikidata:Q333341 dbpedia-de:Abstrakte_Interpretation dbpedia-fr:Interprétation_abstraite dbpedia-ja:抽象解釈 freebase:m.0gfbx
dbp:wikiPageUsesTemplate
dbt:Short_description dbt:No dbt:Samp dbt:Yes dbt:Reflist dbt:Color
dbo:thumbnail
n14:Abstract_interpretation_of_integers_by_signs_svg.svg?width=300
dbo:abstract
在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分，获取关于它的语义信息(比如，控制结构、)而不进行所有计算。 它的主要具体应用是形式静态分析，关于计算机程序的可能执行的信息的自动提取；比如这种分析有两个主要用途: * 在编译器内部，分析程序来确定特定或是否是可适用的； * 针对缺陷类的程序的调试甚至校验。 抽象释义是 和 所形式化的。 L'interprétation abstraite est une théorie d'approximation de la sémantique de programmes informatiques fondée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice). Elle peut être définie comme une exécution partielle d'un programme pour obtenir des informations sur sa sémantique (par exemple, sa structure de contrôle, son flot de données) sans avoir à en faire le traitement complet. Sa principale fonction concrète est l'analyse statique, l'extraction automatique d'informations sur les exécutions possibles d'un programme ; ces analyses ont deux usages principaux : * pour les compilateurs, afin d'analyser le programme pour déterminer si certaines optimisations ou transformations sont possibles ; * pour le débogage, ou pour prouver l'absence de certains types de bugs dans le programme. L'interprétation abstraite a été formalisée par le professeur Patrick Cousot et le docteur Radhia Cousot. In informatica, l'interpretazione astratta è una teoria di approssimazione valida della semantica dei programmi, basata su funzioni monotone su insiemi ordinati, in particolare reticoli. Può essere vista come una esecuzione parziale di un programma al fine di raccogliere informazioni sulla sua semantica (per esempio control-flow, data-flow) senza eseguire tutti i calcoli. La sua applicazione concreta è l'analisi statica, l'estrazione di informazione automatica circa le possibili esecuzioni di programmi; tali analisi hanno due scopi principali: * all'interno di compilatori, per analizzare programmi al fine di eseguire determinate ottimizzazioni o trasformazioni (per esempio offuscamenti); * nel debugging o per la certificazione di programmi contro classi di bug. L'interpretazione astratta fu formalizzata dalla coppia francese Patrick Cousot e alla fine del 1970. 抽象解釈（ちゅうしょうかいしゃく、英: Abstract interpretation）は、コンピュータプログラムの意味論の健全な近似の理論であり、順序集合（特に束）における単調関数に基づいている。全ての計算を実施することなく、プログラムの部分的な実行（ある種の部分評価）をするものと見ることができ、それによりプログラムの意味に関する情報（例えば、制御構造、情報の流れなど）を獲得する。 主な応用として、形式的な静的コード解析があり、プログラム実行に関する情報を自動抽出するものである。このような解析には次の2つの利用法がある。 * コンパイラ内部で、対象プログラムを解析し、特定の最適化やプログラムの変換が可能かどうかを決定する。 * デバッグ時や、特定の種類のバグが存在しないことを保証するとき。 抽象解釈は、Patrick Cousot と Radhia Cousot によって定式化された。 Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. Ziel der abstrakten Interpretation ist es Informationen über das Verhalten von Programmen (Analyse der Semantik) zu bekommen, indem man von Teilen des Programms abstrahiert und die Anweisungen Schritt für Schritt nachvollzieht (Interpretation). Bei der abstrakten Interpretation konzentriert man sich auf Teilaspekte der Ausführung der Anweisungen, man lässt einiges an Information geschickt weg (Abstraktion), erhält letztlich eine Näherung an die Programmsemantik, die aber für den gewünschten Zweck vollkommen ausreichen kann. Viele Eigenschaften von Programmen sind nicht berechenbar, d. h. man kann kein Programm angeben, welches sie in endlicher Zeit mit endlichen Speicherressourcen für beliebige Programme berechnet. Durch eine Approximation, also das Weglassen von einigen Informationen, kann man zwar Fragen nach bestimmten Eigenschaften gar nicht mehr klären, dafür werden aber andere Eigenschaften in der vergröberten Sicht erst berechenbar. Das Verfahren stammt von Radhia Cousot und Patrick Cousot. In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g., control-flow, data-flow) without performing all the calculations. Its main concrete application is formal static analysis, the automatic extraction of information about the possible executions of computer programs; such analyses have two main usages: * inside compilers, to analyse programs to decide whether certain optimizations or transformations are applicable; * for debugging or even the certification of programs against classes of bugs. Abstract interpretation was formalized by the French computer scientist working couple Patrick Cousot and Radhia Cousot in the late 1970s.
gold:hypernym
dbr:Theory
prov:wasDerivedFrom
wikipedia-en:Abstract_interpretation?oldid=1123445752&ns=0
dbo:wikiPageLength
23070
foaf:isPrimaryTopicOf
wikipedia-en:Abstract_interpretation
Subject Item
dbr:Abstract_machine
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Abstract_model_checking
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Abstraction_(computer_science)
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:CodePeer
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Widening_(computer_science)
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Polyspace
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Radhia_Cousot
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
dbp:knownFor
dbr:Abstract_interpretation
dbo:knownFor
dbr:Abstract_interpretation
Subject Item
dbr:Knaster–Tarski_theorem
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Software_bug
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Sparse_conditional_constant_propagation
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Semantics_(computer_science)
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Extended_static_checking
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:List_of_tools_for_static_code_analysis
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Pointer_analysis
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Strictness_analysis
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Fixed-point_theorems
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Size-change_termination_principle
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
Subject Item
dbr:Abstract_interpreter
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
dbo:wikiPageRedirects
dbr:Abstract_interpretation
Subject Item
dbr:Abstract_reduction
dbo:wikiPageWikiLink
dbr:Abstract_interpretation
dbo:wikiPageRedirects
dbr:Abstract_interpretation
Subject Item
wikipedia-en:Abstract_interpretation
foaf:primaryTopic
dbr:Abstract_interpretation