Bir programın çalıştırılacağı bilgisayarın küçük bilgi gerektiren bir programlama dili birkaç farklı makine dillere çevrilebilir, sembolik adlandırması işlemleri ve adresleri, veri yapıları ve programın mantık ifadesi kolaylaştırmak için tasarlanmış özelliklere de sahiptir ve genellikle birkaç makine talimatları her program tablo için sonuç verir. Örnekler Ada, COBOL, FORTRAN, ALGOL, PASCAL.