"abstract interpretation" -
related articles and key terms
Related terms:
Wikipedia sources:
Static code analysis
Context for words:
abstract
interpretation