El lenguaje intermedio EM es una familia de lenguajes intermedios creada para facilitar la producción de compiladores portátiles . Las especificaciones del lenguaje fueron creadas por Andrew Tanenbaum , Hans van Staveren, Ed G. Keizer, Johan W. Stevenson y fueron implementadas en el Amsterdam Compiler Kit (ACK).
A diferencia del lenguaje intermedio de GNU Compiler Collection (GCC), EM es un lenguaje de programación real y podría implementarse en hardware; varias interfaces de lenguaje tienen bibliotecas implementadas en lenguaje ensamblador EM . EM es una máquina basada en pilas de nivel relativamente alto, y una de las herramientas provistas con ACK es un intérprete capaz de ejecutar binarios EM directamente, con un alto grado de verificación de seguridad.