Vmesni jezik je abstraktni programski jezik, ki ga prevajalnik uporablja kot korak med prevajanjem računalniškega programa v strojno kodo. Pred prevajanjem programa v kodo za dejanski, fizični stroj, ga prevajalnik najprej prevede v vmesno kodo, ki je primerna za teoretični, abstraktni stroj. To kodo analizira prevajalnik, in če se ugotovijo priložnosti za optimizacijo, lahko prevajalnik izvede optimizacijo pri prevajanju v zbirni jezik.

Prevajalnik, Strojna koda, Optimizacija, Programski izrazi