Home›Browse›abstract interpretation🌐EnglishEnglishDeutschFrançaisItalianoفارسی한국어中文日本語EntityQ333341· pop 9· linked from 111 articlesabstract interpretationSign in to saveapproach to static program analysisWikidata factsSubclass ofapproximation theorySources (3)wikidata.orgdocs.openalex.orgweb.archive.orgvia Wikidata · CC0Available in 9 languagesFrançaisDeutsch中文日本語ItalianoEstonianفارسی한국어via Wikidata sitelinks · CC0