Category:Abstract interpretation (computer science)

English: See Category:Polyhedra for examples of abstract interpretation domains.
Category:Uses of Wikidata InfoboxCategory:Uses of Wikidata Infobox with no image
Interpretazione astratta; 抽象解釈; absztrakt interpretáció; Abstraktne interpretatsioon; Abstrakte Interpretation; abstract interpretation; تفسیر انتزاعی; 抽象释义; Interprétation abstraite; Programmanalyse; approach to static program analysis; 抽象インタプリタ; 抽象実行
abstract interpretation 
approach to static program analysis
Upload media
Subclass of
  • approximation theory
Authority file
Edit infobox data on Wikidata
Category:Formal methods Category:Static code analysis

Pages in category "Category:Abstract interpretation (computer science)"

Category:Formal methods Category:Static code analysis Category:Uses of Wikidata Infobox Category:Uses of Wikidata Infobox with no image