Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Abstract_interpretation> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- Abstract_interpretation abstract "In computer science, abstract interpretation is a theory of sound approximation[clarify] 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 in order 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 Patrick Cousot and Radhia Cousot in the late 1970s.".
- Abstract_interpretation wikiPageExternalLink sav08:schwartzbach.pdf.
- Abstract_interpretation wikiPageExternalLink home.html.
- Abstract_interpretation wikiPageExternalLink www.
- Abstract_interpretation wikiPageExternalLink Q485.pdf.
- Abstract_interpretation wikiPageExternalLink AI.
- Abstract_interpretation wikiPageExternalLink sefm08.pdf.
- Abstract_interpretation wikiPageExternalLink ~avp.
- Abstract_interpretation wikiPageExternalLink sutre2.pdf.
- Abstract_interpretation wikiPageID "60490".
- Abstract_interpretation wikiPageRevisionID "606627253".
- 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 reason "The target article is about a tool in the field of term rewriting, not abstract interpretation. Establish a connection to the latter, or delete the link.".
- Abstract_interpretation subject Category:Abstract_interpretation.
- Abstract_interpretation comment "In computer science, abstract interpretation is a theory of sound approximation[clarify] 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.".
- Abstract_interpretation label "Abstract interpretation".
- Abstract_interpretation label "Abstrakte Interpretation".
- Abstract_interpretation label "Interprétation abstraite".
- Abstract_interpretation label "抽象解釈".
- Abstract_interpretation label "抽象释义".
- Abstract_interpretation sameAs Abstrakte_Interpretation.
- Abstract_interpretation sameAs Interprétation_abstraite.
- Abstract_interpretation sameAs 抽象解釈.
- Abstract_interpretation sameAs m.0gfbx.
- Abstract_interpretation sameAs Q333341.
- Abstract_interpretation sameAs Q333341.
- Abstract_interpretation wasDerivedFrom Abstract_interpretation?oldid=606627253.
- Abstract_interpretation isPrimaryTopicOf Abstract_interpretation.