Nadharia ya lugha ya programu
Lugha ya kwanza ya programu kuvumbuliwa ilikuwa Plankalkül, ambayo iliundwa na Konrad Zuse katika miaka ya 1940,lakini haikujulikana hadharani hadi 1972 (na haikutekelezwa hadi 1998). Lugha ya kwanza inayojulikana sana na iliyofanikiwa ya kiwango cha juu ya programu ilikuwa Fortran, iliyotengenezwa kutoka 1954 hadi 1957 na timu ya watafiti wa IBM wakiongozwa na John Backus. Mafanikio ya FORTRAN yalisababisha kuundwa kwa kamati ya wanasayansi ili kuendeleza lugha ya kompyuta ya "ulimwengu"; matokeo ya juhudi zao yalikuwa ALGOL 58. Kando, John McCarthy wa MIT alikuza Lisp, lugha ya kwanza yenye asili katika taaluma ili kufaulu. Kwa mafanikio ya juhudi hizi za awali, lugha za programu zikawa mada hai ya utafiti katika miaka ya 1960 na zaidi.