На програмен език, който изразява операции и адреси в символи, удобен за хората, а не в машинен език. Примери са асемблер, език на висок ред.