Bir ara dil, bir bilgisayar programını makine koduna çevirirken bir derleyici tarafından adım adım olarak kullanılan soyut bir programlama dilidir. Programı gerçek, fiziksel bir makine için kod haline getirmeden önce, derleyici ilk önce teorik, soyut bir makine için uygun ara koda dönüştürür. Bu kod derleyici tarafından analiz edilir ve eğer optimizasyon için herhangi bir fırsat tanımlanırsa, derleyici çeviriyi assembly diline çevirirken optimizasyonları yapabilir.

Derleyici, Makine kodu, Optimizasyon, Programlama terimleri