Ngôn ngữ lập trình bậc cao

Ngôn ngữ lập trình bậc cao có mức độ trừu tượng đáng kể so với chi tiết vận hành của máy tính. Ngôn ngữ bậc cao được thiết kế để con người dễ hiểu và do đó cần được dịch bởi phần mềm khác. Khác với ngôn ngữ bậc thấp, chúng có thể sử dụng các yếu tố gần với ngôn ngữ tự nhiên, hoặc tự động hóa (thậm chí ẩn hoàn toàn) nhiều khía cạnh của hệ thống máy tính, giúp quá trình phát triển đơn giản và dễ hiểu hơn. Mức độ trừu tượng càng cao thì ngôn ngữ càng "bậc cao".

Ý tưởng về một ngôn ngữ tự động dịch sang mã máy nhưng gần với tư duy con người được đề xuất trong khoa học máy tính vào những năm 1950, đặc biệt nhờ công trình của John Backus (IBM), người tạo ra ngôn ngữ bậc cao đầu tiên được lưu hành rộng rãi: Fortran. Nhờ đổi mới này, Backus được trao giải Turing.