abstract interpretation, computability, program verification, Rice's theorem, static program analysis.