Välikieli
Välikielellä tarkoitetaan ohjelmointikieltä, jota käytetään apuna korkeamman tason ohjelmointikielten kääntäjien toteutuksessa. Korkean tason ohjelmointikielen kääntäjä ei tuota suoraan konekielistä koodia, vaan kääntää lähdekielisen ohjelman ensin tälle välikielelle. Välikielen kääntäjän ja linkittäjän avulla saadaan sitten tuotettua varsinainen suorituskelpoinen konekielinen ohjelma. Välikielitasoja voi myös olla useampia. Esimerkiksi alimpana välikielenä voi toimia assembly-kieli. Tämän yläpuolella voi olla jokin toinen välikieli ja vasta tämän yläpuolella varsinainen korkean tason kieli.
Välikielien käytön avulla korkean tason ohjelmointikielten kääntäjien toteuttaminen yksinkertaistuu ja tehostuu. Samalla kääntäjistä voidaan tehdä luotettavampia. Samaa välikieltä voidaan käyttää useiden eri korkean tason ohjelmointikielten kääntäjien toteuttamisessa, jolloin samaa koodia voidaan paremmin hyödyntää. Välikielinen koodi on suoraan luettavissa, joskin yleensä hiukan alkuperäistä korkean tason lähdekoodia kryptisempää.
Esimerkkinä välikielestä voitaneen mainita Microsoftin MSIL (Microsoft Intermediate Language), jota käytetään .NET-ohjelmoinnissa.
Välikielenä voidaan käyttää myös jotakin melko korkean tason ohjelmointikieltä, kuten C++-, Java-, FORTRAN- tai BASIC-kieltä. Tätä korkeamman tason ohjelmointikielen kääntäjän voi toteuttaa sopivaa jäsennintä käyttäen.