Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Abstract_interpretation> ?p ?o }
- Abstract_interpretation abstract "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 scientists Patrick Cousot and Radhia Cousot in the late 1970s.".
- Abstract_interpretation wikiPageExternalLink sav08:schwartzbach.pdf.
- Abstract_interpretation wikiPageExternalLink newspeak.bitbucket.org.
- Abstract_interpretation wikiPageExternalLink home.html.
- Abstract_interpretation wikiPageExternalLink ikos.
- Abstract_interpretation wikiPageExternalLink 1ec7db13-3363-46c9-851f-1ce455f66970.
- Abstract_interpretation wikiPageExternalLink www.
- Abstract_interpretation wikiPageExternalLink Q485.pdf.
- Abstract_interpretation wikiPageExternalLink ~avp.
- Abstract_interpretation wikiPageExternalLink predator.
- Abstract_interpretation wikiPageExternalLink codesonar.
- Abstract_interpretation wikiPageExternalLink www.juliasoft.com.
- Abstract_interpretation wikiPageExternalLink sutre2.pdf.
- Abstract_interpretation wikiPageExternalLink AI.
- Abstract_interpretation wikiPageID "60490".
- Abstract_interpretation wikiPageLength "20445".
- Abstract_interpretation wikiPageOutDegree "67".
- Abstract_interpretation wikiPageRevisionID "677148219".
- Abstract_interpretation wikiPageWikiLink Abstraction.
- Abstract_interpretation wikiPageWikiLink Ariane_5_Flight_501.
- Abstract_interpretation wikiPageWikiLink Ascending_chain_condition.
- Abstract_interpretation wikiPageWikiLink Astrée_(static_analysis).
- Abstract_interpretation wikiPageWikiLink CPAchecker.
- Abstract_interpretation wikiPageWikiLink Calculation.
- Abstract_interpretation wikiPageWikiLink Category:Abstract_interpretation.
- Abstract_interpretation wikiPageWikiLink Cluster_(spacecraft).
- Abstract_interpretation wikiPageWikiLink CodePeer.
- Abstract_interpretation wikiPageWikiLink Compiler.
- Abstract_interpretation wikiPageWikiLink Complexity.
- Abstract_interpretation wikiPageWikiLink Computability_theory.
- Abstract_interpretation wikiPageWikiLink Computability_theory_(computation).
- Abstract_interpretation wikiPageWikiLink Computer_program.
- Abstract_interpretation wikiPageWikiLink Computer_science.
- Abstract_interpretation wikiPageWikiLink Congruence_relation.
- Abstract_interpretation wikiPageWikiLink Control-flow_analysis.
- Abstract_interpretation wikiPageWikiLink Control_flow_analysis.
- Abstract_interpretation wikiPageWikiLink Coverity.
- Abstract_interpretation wikiPageWikiLink Data-flow_analysis.
- Abstract_interpretation wikiPageWikiLink Debugging.
- Abstract_interpretation wikiPageWikiLink ECLAIR.
- Abstract_interpretation wikiPageWikiLink Execution_(computers).
- Abstract_interpretation wikiPageWikiLink Execution_(computing).
- Abstract_interpretation wikiPageWikiLink Fixed_point_(mathematics).
- Abstract_interpretation wikiPageWikiLink Fluctuat.
- Abstract_interpretation wikiPageWikiLink Frama-C.
- Abstract_interpretation wikiPageWikiLink Galois_connection.
- Abstract_interpretation wikiPageWikiLink Halting_problem.
- Abstract_interpretation wikiPageWikiLink Homonym.
- Abstract_interpretation wikiPageWikiLink Imperative_programming.
- Abstract_interpretation wikiPageWikiLink Interpreter_(computing).
- Abstract_interpretation wikiPageWikiLink Interval_arithmetic.
- Abstract_interpretation wikiPageWikiLink Jtest.
- Abstract_interpretation wikiPageWikiLink Klocwork.
- Abstract_interpretation wikiPageWikiLink Knaster–Tarski_theorem.
- Abstract_interpretation wikiPageWikiLink LNCS.
- Abstract_interpretation wikiPageWikiLink Lattice_(order).
- Abstract_interpretation wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Abstract_interpretation wikiPageWikiLink List_of_order_structures_in_mathematics.
- Abstract_interpretation wikiPageWikiLink List_of_tools_for_static_code_analysis.
- Abstract_interpretation wikiPageWikiLink Model_checking.
- Abstract_interpretation wikiPageWikiLink Monotonic_function.
- Abstract_interpretation wikiPageWikiLink Multiplication.
- Abstract_interpretation wikiPageWikiLink Optimization_(computer_science).
- Abstract_interpretation wikiPageWikiLink Ordered_set.
- Abstract_interpretation wikiPageWikiLink Parasoft.
- Abstract_interpretation wikiPageWikiLink Partial_function.
- Abstract_interpretation wikiPageWikiLink Patrick_Cousot.
- Abstract_interpretation wikiPageWikiLink Polyhedra.
- Abstract_interpretation wikiPageWikiLink Polyhedron.
- Abstract_interpretation wikiPageWikiLink Polyspace.
- Abstract_interpretation wikiPageWikiLink Program_optimization.
- Abstract_interpretation wikiPageWikiLink Program_transformation.
- Abstract_interpretation wikiPageWikiLink Radhia_Cousot.
- Abstract_interpretation wikiPageWikiLink Real_number.
- Abstract_interpretation wikiPageWikiLink Red_Lizard_Software.
- Abstract_interpretation wikiPageWikiLink Rices_theorem.
- Abstract_interpretation wikiPageWikiLink Semantics.
- Abstract_interpretation wikiPageWikiLink Social_Security_number.
- Abstract_interpretation wikiPageWikiLink Social_security_number.
- Abstract_interpretation wikiPageWikiLink Soundness.
- Abstract_interpretation wikiPageWikiLink Static_code_analysis.
- Abstract_interpretation wikiPageWikiLink Static_program_analysis.
- Abstract_interpretation wikiPageWikiLink Symbolic_execution.
- Abstract_interpretation wikiPageWikiLink Symbolic_simulation.
- Abstract_interpretation wikiPageWikiLink Symposium_on_Principles_of_Programming_Languages.
- Abstract_interpretation wikiPageWikiLink Total_function.
- Abstract_interpretation wikiPageWikiLink Undecidable_problem.
- Abstract_interpretation wikiPageWikiLink Widening_(computer_science).
- Abstract_interpretation wikiPageWikiLink File:3dpoly.svg.
- Abstract_interpretation wikiPageWikiLink File:Abstract_interpretation_of_integers_by_signs_svg.svg.
- Abstract_interpretation wikiPageWikiLink File:Combination_of_abstract_domains.svg.
- Abstract_interpretation wikiPageWikiLinkText "Abstract interpretation".
- Abstract_interpretation wikiPageWikiLinkText "Abstract interpreter".
- Abstract_interpretation wikiPageWikiLinkText "Abstraction".
- Abstract_interpretation wikiPageWikiLinkText "abstract domains".
- Abstract_interpretation wikiPageWikiLinkText "abstract interpretation".
- Abstract_interpretation date "November 2013".
- Abstract_interpretation hasPhotoCollection Abstract_interpretation.
- Abstract_interpretation reason "The target article is about a static analysis tool in general, but is it not clear whether it employs abstract interpretation in particular. Establish a connection to the latter, or delete the link.".
- Abstract_interpretation wikiPageUsesTemplate Template:Clarify.