Ohjelmatiedosto on suorittamiskelpoinen binääritiedosto.[1] Ohjelmatiedosto sisältää konekielisen tietokoneohjelman, jonka käyttöjärjestelmä suorittaa tietokoneen suorittimella.
Tiedoston tekee kääntäjä ohjelmointikielisestä lähdekooditiedostosta kääntämällä ja linkkeriohjelman yhdistäessä objektitiedostot.
Ohjelmatiedoston on noudatettava käyttöjärjestelmän ABI-muotoa, joka on alhaisen tason rajapinta käyttöjärjestelmän ja suoritettavan ohjelman välillä.[2]