Một ngôn ngữ lập trình đòi hỏi phải có ít kiến thức về máy tính mà trên đó một chương trình sẽ chạy, có thể được dịch ra nhiều ngôn ngữ khác nhau của máy, cho phép đặt tên tượng trưng của hoạt động và địa chỉ, cung cấp tính năng được thiết kế để tạo điều kiện cho các biểu hiện của các cấu trúc dữ liệu và chương trình logic, và thường kết quả trong một số máy tính hướng dẫn cho từng tuyên bố chương trình. Ví dụ bao gồm COBOL, FORTRAN Ada, ALGOL, PASCAL.