improvement, Languages and compilers, Machine-independent code generation, Natural Language Processing, verification, Voice Recognition.