Static Analysis
Formal Method
Compiler
Programming Language