About: Abstract interpretation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Approach to static program analysis

Property	Value
dbo:description	Programmanalyse (de) approach to static program analysis (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Abstract_interpretation_of_integers_by_signs_svg.svg?width=300
dbo:wikiPageExternalLink	http://www.cs.unipr.it/~bagnara/Papers/PDF/Q485.pdf http://www.dsi.unive.it/~avp/ http://www.mpi-inf.mpg.de/vtsa08/slides/sutre2.pdf https://dblp.uni-trier.de/db/conf/vmcai/ https://dblp1.uni-trier.de/db/conf/sas/ https://www.di.ens.fr/~cousot/AI/ http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/ http://cs.au.dk/~amoeller/spa/ http://staticanalysis.org https://web.archive.org/web/20221123194810/https:/people.cs.ksu.edu/~schmidt/papers/schmidt/Escuela03/home.html
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Congruence_relation dbr:Imperative_programming dbr:Fixed_point_(mathematics) dbr:Abstraction dbr:Soundness dbr:Compiler dbr:Lattice_(order) dbr:Real_number dbr:Assembly_language dbr:Word_(computer_architecture) dbr:Knaster–Tarski_theorem dbr:Data-flow_analysis dbr:Control-flow_analysis dbc:Abstract_interpretation dbc:Program_analysis dbr:Monotonic_function dbr:Static_program_analysis dbr:Galois_connection dbr:Interval_arithmetic dbr:Calculation dbr:Halting_problem dbr:List_of_tools_for_static_code_analysis dbr:Program_transformation dbr:Ascending_chain_condition dbr:C_(programming_language) dbr:Computer_science dbr:Computer_program dbr:Multiplication dbr:Three-valued_logic dbr:Homonym dbr:Patrick_Cousot dbr:Ordered_set dbr:Debugging dbr:Information_extraction dbr:Rice's_theorem dbr:Polyhedron dbr:Interpreter_(computing) dbr:Python_(programming_language) dbr:Symbolic_execution dbr:Symbolic_simulation dbr:Symposium_on_Principles_of_Programming_Languages dbr:Computational_complexity dbr:Radhia_Cousot dbr:Widening_(computer_science) dbr:Haskell_(programming_language) dbr:Ariane_5_Flight_501 dbr:Polyhedra dbr:Static_code_analysis dbr:Semantics_of_programming_languages dbr:Optimization_(computer_science) dbr:Total_function dbr:LNCS dbr:Execution_(computers) dbr:File:3dpoly.svg dbr:File:Abstract_interpretation_of_integers_by_signs_svg.svg dbr:File:Combination_of_abstract_domains.svg dbr:Social_security_number dbr:Computability_theory_(computation) dbr:Integers_modulo_n
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Color dbt:No dbt:Yes dbt:Samp dbt:Program_analysis dbt:Short_description
dct:subject	dbc:Abstract_interpretation dbc:Program_analysis
gold:hypernym	dbr:Theory
rdfs:label	Abstract interpretation (en) Abstrakte Interpretation (de) Interprétation abstraite (fr) Interpretazione astratta (it) 抽象解釈 (ja) 抽象释义 (zh)
owl:sameAs	freebase:Abstract interpretation yago-res:Abstract interpretation wikidata:Abstract interpretation dbpedia-it:Abstract interpretation dbpedia-de:Abstract interpretation dbpedia-fr:Abstract interpretation dbpedia-zh:Abstract interpretation dbpedia-ja:Abstract interpretation dbpedia-fa:Abstract interpretation dbpedia-et:Abstract interpretation dbpedia-global:Abstract interpretation
prov:wasDerivedFrom	wikipedia-en:Abstract_interpretation?oldid=1291943451&ns=0
foaf:depiction	wiki-commons:Special:FilePath/3dpoly.svg wiki-commons:Special:FilePath/Abstract_interpretation_of_integers_by_signs_svg.svg wiki-commons:Special:FilePath/Combination_of_abstract_domains.svg
foaf:isPrimaryTopicOf	wikipedia-en:Abstract_interpretation
is dbo:knownFor of	dbr:Patrick_Cousot dbr:Radhia_Cousot
is dbo:wikiPageRedirects of	dbr:Abstract_interpreter dbr:Abstract_reduction
is dbo:wikiPageWikiLink of	dbr:Abstract_machine dbr:Model_checking dbr:2014_in_science dbr:CodePeer dbr:Total_functional_programming dbr:Fixed_point_(mathematics) dbr:Abstraction dbr:Compiler dbr:Lattice_(order) dbr:Formal_methods dbr:Prolog dbr:Parasoft_C/C++test dbr:Reinhard_Wilhelm dbr:Knaster–Tarski_theorem dbr:Data-flow_analysis dbr:Ariane_flight_V88 dbr:Static_program_analysis dbr:Galois_connection dbr:Extended_static_checking dbr:Fluctuat dbr:Denotational_semantics dbr:List_of_tools_for_static_code_analysis dbr:Database dbr:AbsInt dbr:Abstract_model_checking dbr:CodeSonar dbr:Semantics_(computer_science) dbr:Edmund_M._Clarke dbr:Invariant_(mathematics) dbr:Decompiler dbr:Patrick_Cousot dbr:DMS_Software_Reengineering_Toolkit dbr:Polyspace dbr:Sparse_conditional_constant_propagation dbr:Abstraction_(computer_science) dbr:Frama-C dbr:Strictness_analysis dbr:Formal_verification dbr:Loop_invariant dbr:Dynamic_program_analysis dbr:Pointer_analysis dbr:Software_bug dbr:Nabla_symbol dbr:List_of_programming_language_researchers dbr:Symbolic_execution dbr:List_of_computer_scientists dbr:Astrée_(static_analysis) dbr:Set_constraint dbr:Radhia_Cousot dbr:Abstract_interpreter dbr:Abstract_reduction dbr:ECLAIR dbr:Widening_(computer_science) dbr:Shmuel_Sagiv dbr:Control_flow_analysis dbr:Size-change_termination_principle dbr:Fixed-point_theorems
is dbp:knownFor of	dbr:Patrick_Cousot dbr:Radhia_Cousot
is foaf:primaryTopic of	wikipedia-en:Abstract_interpretation