Język pośredni to abstrakcyjny język programowania używany przez kompilator jako krok pośredni podczas tłumaczenia programu komputerowego na kod maszynowy. Przed skompilowaniem programu na kod rzeczywistej, fizycznej maszyny, kompilator najpierw tłumaczy go na kod pośredni odpowiedni dla teoretycznej, abstrakcyjnej maszyny. Ten kod jest analizowany przez kompilator i jeśli zostaną zidentyfikowane jakiekolwiek możliwości optymalizacji, kompilator może przeprowadzić optymalizację podczas tłumaczenia na język asemblera.

Kompilator, kod maszynowy, optymalizacja, warunki programowania