https://www.dict.cc/english-german/just+in+time+compilation.html