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.
