In [[informatica]], un '''linguaggio di programmazione ad alto livello''' è un [[linguaggio di programmazione]] diversocaratterizzato dalda una significativa [[linguaggio macchinaastrazione]],direttamentedai eseguibiledettagli dadel unfunzionamento [[computer]],di maun piùcalcolatore vicinoe odalle familiare alla logicacaratteristiche del nostro [[linguaggio naturalemacchina]]. L'ideaI linguaggi di fondo è che i programmiprogrammazione ad alto livello possonosono essereprogettati ricondottiper aessere programmifacilmente incomprensibili linguaggiodagli macchinaesseri inumani modo automaticoe, ovverofino daa unincludere altroalcuni programma.elementi Ildel [[linguaggio adnaturale]]. altoPer livelloessere quindieffettivamente astraeeseguiti, dallei caratteristicheprogrammi fisiche della macchinascritti in cuilinguaggio siad operaalto elivello sidevono ottieneessere come''tradotti'' [[codifica]]:o tabelle''interpretati'' dida associazioniun traaltro nomi e gruppi di istruzioni base a partire dal linguaggio macchina stessoprogramma.
Quest'idea fu introdotta in informatica negli [[anni 1950|anni cinquanta]], soprattutto grazie al lavoro di [[John Backus]] presso la [[IBM]], dove fu sviluppato il primo compilatore per il linguaggio [[Fortran]]. In seguito, Backus ricevette per questo motivo il [[premio Turing]].
