Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Abstract_interpretation> ?p ?o }
- Abstract_interpretation wikiPageUsesTemplate Template:Color.
- Abstract_interpretation wikiPageUsesTemplate Template:More_footnotes.
- Abstract_interpretation subject Category:Abstract_interpretation.
- Abstract_interpretation hypernym Theory.
- Abstract_interpretation type Article.
- Abstract_interpretation type Book.
- Abstract_interpretation type Article.
- Abstract_interpretation type Method.
- Abstract_interpretation comment "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.".
- Abstract_interpretation label "Abstract interpretation".
- 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 sameAs 抽象释义.
- Abstract_interpretation wasDerivedFrom Abstract_interpretation?oldid=677148219.
- Abstract_interpretation isPrimaryTopicOf Abstract_interpretation.