EntityQ333341· pop 9· linked from 111 articlesabstract interpretationSign in to saveapproach to static program analysisConnectionsoperational semanticsEntitypolyhedronEntityprogramming language semanticsEntitystatic program analysisEntitydynamic program analysisEntityIsabelleEntitylanguageEntitylinguisticsEntitycomputer scienceEntityInternational Standard Book NumberEntityQ15777EntityPythonEntitymultiplicationEntityreal numberEntitycomputer programEntitydigital object identifierEntitycompilerEntitysemanticsEntityabstractionEntityassembly languageEntityCategoriesAbstract interpretationProgram analysis