Un llenguatge de programació que requereix poc coneixement de l'ordinador en què s'executarà un programa, pot ser traduït a diversos idiomes màquina, permet nomenar simbòlic de les operacions i les adreces, proporciona característiques dissenyades per facilitar l'expressió d'estructures de dades i programa lògica i normalment ocasiona diverses instruccions de màquina per a la declaració de cada programa. Alguns exemples són l'Ada, COBOL, FORTRAN, ALGOL, PASCAL.