EM-промежуточный язык

Промежуточный язык EM — это семейство промежуточных языков, созданных для облегчения создания переносимых компиляторов . Спецификации языка были созданы Эндрю Таненбаумом , Хансом ван Ставереном, Эдом Г. Кейзером, Йоханом В. Стивенсоном и реализованы в Амстердамском компиляторе (ACK).

В отличие от промежуточного языка GNU Compiler Collection (GCC), EM является настоящим языком программирования и может быть реализован аппаратно; в ряде языковых интерфейсов есть библиотеки, реализованные на языке ассемблера EM . EM — это машина на основе стека относительно высокого уровня, и одним из инструментов, поставляемых с ACK, является интерпретатор, способный напрямую выполнять двоичные файлы EM с высокой степенью проверки безопасности.

Ссылки

• «Формат промежуточного кода EM и виртуальная машина» (PDF) .
• «Интерпретатор промежуточного языка EM» (PDF) .
• «Оптимизатор EM промежуточного языка» (PDF) .