Home›Abstract interpretation›تفسیر انتزاعی🌐فارسیEnglishDeutschFrançaisItalianoفارسی한국어中文日本語EntityQ333341· pop 9· linked from 111 articlesتفسیر انتزاعیapproach to static program analysisAvailable in 9 languagesFrançaisDeutsch中文日本語ItalianoEstonianفارسی한국어via Wikidata sitelinks · CC0Connectionsoperational semanticsEntitypolyhedronEntityCategoriesAbstract interpretationProgram analysis