Compiled languages translate a high-level language to machine code (usually with multiple stages of intermediate languages and an assembly language). Compiled languages also usually have semantic analyzers (i.e., type-checkers -- static-typing) whereas interpreted languages usually do this at run-time (dynamic-typing). Interpreted languages can translate high level code to bytecode as well.