Trong khoa học máy tính, một ngôn ngữ lập trình bậc cao (tiếng Anh: high-level programming language) là một ngôn ngữ lập trình có sựtrừu tượng hóa mạnh mẽ khỏi các chi tiết của máy tính. So với các ngôn ngữ lập trình bậc thấp (low-level programming language), nó có thể sử dụng các yếu tố ngôn ngữ tự nhiên, dễ sử dụng hơn, hoặc có thể tự động (hoặc thậm chí che giấu hoàn toàn) các khu vực quan trọng của các hệ thống điện toán (ví dụ, quản lí bộ nhớ (memory management)), làm quá trình phát triển chương trình đơn giản hơn và tương đối dễ hiểu hơn so với một ngôn ngữ bậc thấp. Lượng trừu tượng hóa được cung cấp định nghĩa một ngôn ngữ lập trình có bậc cao tới mức nào.[1]
Vào thập niên 1960, các ngôn ngữ lập trình bậc cao sử dụng một compiler (trình biên dịch) thường được gọi là autocode (mã tự động).[2]Ví dụ của autocode là COBOL và Fortran.[3]
Ngôn ngữ bậc cao đầu tiên được xây dựng vào năm 1956 là ngôn ngữ FORTRAN. Ngày nay có rất nhiều các ngôn ngữ lập trình bậc cao như PASCAL, C, C++, Visual Basic, Foxpro...