last term usually applied translations involve change language bytecode compilers compile assembly language theoretical machine like prolog implementations prolog machine also known warren abstract machine wam bytecode compilers java python also examples category time compilers jit compiler defer compilation runtime jit compilers exist many modern languages including python javascript smalltalk java microsoft net 's common intermediate language cil others jit compiler generally runs inside interpreter interpreter detects code path
Formal science Computer science Programming languages Compilers