Bahasa pemrograman yang memerlukan sedikit pengetahuan komputer dimana program akan dijalankan, dapat diterjemahkan ke dalam beberapa bahasa mesin yang berbeda, memungkinkan simbolis penamaan operasi dan alamat, menyediakan fitur yang dirancang untuk memfasilitasi ekspresi struktur data dan program logika, dan biasanya menghasilkan beberapa mesin petunjuk untuk setiap pernyataan program. Contoh termasuk Ada, COBOL, FORTRAN, ALGOL, PASCAL.