Думаю, что ближе всего что это интерпретатор компилирующего типа. Проголосовал.
Цитата:
Интерпретатор компилирующего типа — это система из компилятора, переводящего исходный код программы в промежуточное представление, например, в байт-код или p-код, и собственно интерпретатора, который выполняет полученный промежуточный код (так называемая виртуальная машина). Достоинством таких систем является большее быстродействие выполнения программ (за счёт выноса анализа исходного кода в отдельный, разовый проход, и минимизации этого анализа в интерпретаторе). Недостатки — большее требование к ресурсам и требование на корректность исходного кода. Применяется в таких языках, как PHP, Python, Perl (используется байт-код[источник?]), а также в различных СУБД (используется p-код[источник?]).
http://ru.wikipedia.org/wiki/%D0%98%...82%D0%BE%D1%80